Login / Signup
What Is a Real-World SAT Instance?
Carlos Ansótegui
Maria Luisa Bonet
Jordi Levy
Felip Manyà
Published in:
CCIA (2007)
Keyphrases
</>
real world
sat instances
satisfiability problem
sat solvers
data sets
case study
database
special case
search engine
database systems
heuristic search