SATLIB: Links to Related Sites
DIMACS Benchmark set for SAT
SAT Competition Bejing
The TPTP Problem Library for Automated Theorem Proving
CSPLIB
Quantified Boolean Formulae (Jussi Rintanen, Uni Ulm)
Random-3-SAT instances
(forced formulae!)
IJCAI-97 Computational Challenge in Propositional Reasoning and Search
Propositional (Boolean) Satisfiability
page of
Joao Marques Silva
Blackbox (a SAT technology planning system, Version 3.4)
The propositional theorem prover HeerHugo
Quantified Boolean Formulae Project Homepage (Università di Roma ``La Sapienza'')
V.Z.Nuri's SAT page
SAT instances from bounded model checking
Simon Laurent's SAT-Ex: execution traces of provers on benchmarks
Daniel Le Berre's SAT Live! page: a dynamic collection of links on SAT-related research
Miroslav N. Velev's benchmark suites derived from formal verification of microprocessors
Osamu Watanabe's SAT Instance Generation Page
Please contact us by
e-mail
if you know of other sites which should be included in here.
©
hh
, last update 00/12/12.