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:11-May-2009
Title:HLDVT 2009: Call for Papers
Hits:553
Contributed by: Anonymous
Keywords:BDD, Random 3SAT, Verification, EDA, Benchmark, SAT application, Equivalency Reasoning, SAT tools, call for papers, SAT-Based, SAT/CP, Hybrid solver, null, null, null, null, null
 
  
 
Call for Papers

***************************************************************

HLDVT 2009

IEEE International High-Level Design, Validation and Test Workshop

http://www.hldvt.com/09/

Grand Hyatt, San Francisco, California, November 4-6, 2009

***************************************************************

Please visit http://www.hldvt.com/09/HLDVT09_cfp.pdf

 
 
 

 

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