Software Algorithms and Tools for constraint solving
INESC-ID / Dept. of Informatics, IST
Technical University of Lisbon
Navigation
SAT Home

People

Projects

Publications

Tutorials

Invited Talks

Conference Talks

Dissertations

Software

Contact

Related Links

A few SAT links
  Satlive!
  Satlib
  SAT-EX
  OpenSAT
  Local SAT information

If you have comments or suggestions, email web@sat.inesc.pt