Constraint Solving by Martine Ceberio


NORTH AMERICA

United States of America

Groups:

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

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

Knowledge Representation Group (KRLab)

Address: Department of Computer Science
Texas Tech University
College of Engineering
Box 43104
Lubbock, Tx 79409

Automated Reasoning Group

Address: School of Information and Computer Science
University of California,
Irvine, CA 92697-3435

Institute for Computational Sustainability

Address: Dept. Computer Science
Cornell University
Ithaca, NY   14853    USA

Intelligent Information Systems Institute

Cornell University
5133 Upson Hall
Ithaca, NY  14853

Optimization Laboratory

Department of Computer Science
Brown University,
Box 1910
Providence, RI 02912, USA

People:

Laurent Michel

Address: Department of Computer Science & Engineering
University of Connecticut,
371 Fairfield Way, Unit 2155
  • Email:
    • Laurent Michel (ldm/engr.uconn.edu)
  • Links:
    • http://www.engr.uconn.edu/~ldm/
  • Projects:

Canada

Groups:

Enterprise Integration Laboratory

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

People:

Maarten H. Van Emden

Address:  Department of Computer Science University of Victoria
P.O. Box 3055, Victoria, B.C.
V8W 3P6   Canada
 

Maarten H. Van Emden (vanemden / cs.uvic.ca)

  • Links: http://webhome.cs.uvic.ca/~vanemden/index.html
  • Projects:
    • Algorithmic Art.
    • Elements of Programming