To propose a link enter your email address:

and
 
 
 

Deadline Countdown

 
 

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

1 elements available
 
  
Date:20-Jul-2010
Title:CFP: CROCS Workshop at CP-10
Hits:91
Contributed by: Ashish Sabharwal
Keywords:CSP, call for papers, Constraint Programming, null, null
 
  
 
Call for papers for CROCS at CP-10, the 3rd International Workshop on Constraint Reasoning and Optimization for Computational Sustainability, to be held on September 6, 2010 in St Andrews, Scotland, in conjunction with the CP-10 conference. For submission and other details, please see http://www.computational-sustainability.org/crocs-at-cp10
 
 
 

 

© 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.