To propose a link enter your email address:

and
 
 
 

Heads up on SAT research

JSAT: the Journal on Satisfiability, Boolean Modeling and Computation

The SAT conferences: next meeting Guangzhou, May 12-16, 2008.

The SAT solver competitions

SAT gory details

  
  SATBIB last Modifications
2002-02-25 confs.bib
2002-07-03 satbib.bib
(Browse the references) 		 
 

Deadline Countdown

 
 ASPL08  37 days 
 SOFT08  45 days 
 MANYCORE  45 days 
 LaSh08  98 days 
 

20 most visited links

 
 [Conference article] SAT2002 accepted papers online! (10877) 
 [Software] siege_v4 (8232) 
 [Software] Chaff SAT solver (7009) 
 [Report] Efficient Data Structures for Fast SAT Solvers (6490) 
 [Other] A polynomial time SAT algorithm (5944) 
 [Workshop article] SAT2001 proceedings online! (5727) 
 [Report] Algorithms for SAT and Upper Bounds on Their Complexity. E. Dantsin, E. A. Hirsch, S. Ivanov, M. Vsemirnov, ECCC Report TR01-012. (5163) 
 [Conference article] Finding Bugs with a Constraint Solver (5095) 
 [Conference article] E. Goldberg, and Y. Novikov, BerkMin: A Fast and Robust Sat-Solver, Design, Automation, and Test in Europe (DATE'02), March 2002, pp. 142-149. (4933) 
 [Software] zChaff source code available!!! (4808) 
 [Event] The SAT competition 2003 (3204) 
 [Event] First QBF solver evaluation (2868) 
 [Report] The SAT2002 competition (preliminary draft). Laurent Simon, Daniel Le Berre and Edward A. Hirsch (2742) 
 [Software] Java package for conversion into SAT problem. (2547) 
 [Report] Many Hard Examples in Exact Phase Transitions (2507) 
 [Report] SAT2003 competition first stage results available in details!!!! (2481) 
 [Book] Boolean Functions - Theory, Algorithms, and Applications (2472) 
 [Report] Efficient Algorithms for Clause Learning SAT Solvers, Lawrence Ryan, Master Thesis, SFU, Feb 2004. (2467) 
 [Invited Talk] A Quest for Efficient SAT Solvers (2004 version): Distinguished Lecture Series at CMU SCS, Sharad Malik (2466) 
 [Other] SAT'04 Contest (Full) Results (2439) 
 

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.