Satisfiability Links

 

AI Center: EXCALIBUR Project: Search Frameworks
http://www.ai-center.com/projects/excalibur/documentation/intro/frameworks/

 

  SATLIB  
http://www.satlib.org/

  Ian P. Gent and Toby Walsh's References on Satisfiability  
http://dream.dai.ed.ac.uk/group/tw/sat/

  Online MAX-SAT Solver  
http://rtm.science.unitn.it/intertools/sat/

 

Last update:
March 19, 2001 by Alexander Nareyek