Contact Us

Satinder S. Baveja, Director
3749 Beyster Bldg.
Ann Arbor, MI 48109-2121
PH: 734-936-2831

Kimberly Mann
Research Proc. Coordinator
3820 Beyster Building
Ann Arbor, MI 48109-2121
PH: 734-763-6985
Fax: 734-763-1260

Constraint-based Reasoning

Many interesting problems can be modeled as sets of constraints that must be satisfied and/or of preferences that should be optimized. Constraint-based reasoning studies both formalisms for representing constraints and preferences, and algorithms for efficiently finding solutions to problems encoded in these formalisms. Research on constraint-based reasoning at Michigan has focused on a variety of topics, including temporal reasoning, Boolean satisfiability, and Satisfaction Modulo Theory (SMT) solving, as well as on applications to varied domains such scheduling, interface design, and the verification of integrated circuits.
Durfee, Edmund H
Pollack, Martha
Wellman, Michael