Constraint Solving by Martine Ceberio


NORTH AMERICA

United States of America

Constraints research and reading Group (CR2G)

Address: Department of Computer Science
University of Texas, El Paso
El Paso – 79902

Knowledge representation, Logic, and Advanced Programming Laboratory (KLAP)

Address: Department of Computer Science
New Mexico State University
P.O. Box 30001, MSC CS
Las Cruces, NM 88003-0001

  • People:
    • Enrico Pontelli(epontell@cs.nmsu.edu)
  • Links:
  • Projects:
    • Optimizations of Parallel Systems
    • Towards the Extended Andorra Model
    • {log}: Constraint Logic Programming with Finite Sets

Computational Intelligence Research Laboratory (CIRL)

The Computational Intelligence Research Laboratory (CIRL) of the University of Oregon has a research focus on basic questions in artificial intelligence including search, knowledge representation, and reasoning. Emphasis is on planning, constraint satisfaction, and commonsense reasoning. Laboratory faculty members participate in some Computer and Information Sciences Department activities and shared recreational activities.

Address: CIRL
1269 University of Oregon
P.O. Box 30001, MSC CS
Eugene, OR USA 97403-1269

  • People:
    • David W. Etherington (ether@cirl.uoregon.edu)
    • Matthew L. Ginsberg (ginsberg@cirl.uoregon.edu)
  • Projects:
    • Context-based Nonmonotonic Reasoning
    • Optimization
    • Approximate Reasoning

Constraints research group

This Group is currently not active but a lot of research has been done which includes building constraint solvers such as Cassowary and DeltaBlue.

Address: University of Washington
Box 352350
Seattle, WA 98195-2350
USA

  • People:
    • Alan Borning (borning@cs.washington.edu)
  • Links:
  • Research:
    • Land Use, Transportation, and Environmental Modeling
    • Constraints and Constraint Satisfaction Algorithms

Canada


Enterprise Integration Laboratory

Address: University of Toronto
40 St. George St., Rm 8114,
Toronto, Ontario M5S 3G8