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 8-June 12, 2013, Helsinki, Finland.

The SAT solver competitions

The SAT association

SAT gory details

  
 

SAT related books

Das Erfüllbarkeitsproblem SAT

Handbook of Satisfiability

Boolean Models and Methods in Mathematics, Computer Science, and Engineering

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 		 

 

Subscription to the SAT Live! notification list

DUE TO RECENT HEAVY SPAMMING, REGISTRATION TO THE MAILING LIST IS CLOSED. Please send an email to daniel at satlive.org to be added to the list.

Please provide us with some informations about you.

Name:

It will be displayed on the site in the Contributed by field.

Email:

Necessary: it's your identifier in the system.

Homepage:

You can add here your homepage or your own page about SAT.

Affiliation:

The name of your university, company, laboratory ...

Country:

Send me an e-mail when new papers are added on the site.

This information can be displayed on the "People interested by SAT" page of the site.

 

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