To propose a link enter your email address:

and
 
 
 

Deadline Countdown

 
 Lococo2010  15 days 
 POS2010  15 days 
 MAXSAT10  17 days 
 PB10  59 days 
 

Heads up on SAT research

JSAT: the Journal on Satisfiability, Boolean Modeling and Computation

The SAT conferences: next meeting July 11-July 14, 2010, Edinburgh, Scotland, UK.

The SAT solver competitions

SAT gory details

  
 

SAT related books

Handbook of Satisfiability

Satisfiability & Verification

Test Pattern Generation using Boolean Proof Engines

Introduction to mathematics of satisfiability

Probleme SAT: progres et defis

  
 

Other SAT related sites

SATLIB: the satisfiability library
SAT-Ex: experimentations about SAT
QBFLIB: the QBF library
PBLIB: The pseudo-boolean library
SMTLIB: The Satisfiability Modulo Theory library
SAT4J:A SATisfiability library for Java 		 

 

Show   all the links
only papers 		   containing the keyword:     ordered by:  date
hits
Show all

 

© 2000-2001 Business & Technology Research Laboratory. © 2001-2005 Centre de Recherche en Informatique de Lens. Hosted by Innovation and Technology Research Lab. Please send any comment to daniel@satlive.org.