SATISFIABILITY and CONSTRAINTS
Constraint programming Page of Roman Barták
SAT Live!
SatLib
mirror Darmstadt
mirror UBS
CSPLib: a problem library for constraints
SAT at Princeton
Softwares (zChaff, mChaff, etc)
Sat-Ex
TPTP
Personal homepages of SAT and CSP people (choice)
Dimitris Achlioptas
Fahiem Bacchus
Armin Bière
Joseph Culberson (graph coloring)
Holger H. Hoos
David G. Mitchell
Toby Walsh
CLP(Q,R)
SICStus Prolog 3
Thom Fruewirth's book on Constraint Programming (in German)
Last modified: Tue Jul 17 15:01:01 CEST 2007