Login / Signup
On SAT instance classes and a method for reliable performance experiments with SAT solvers.
Franc Brglez
Xiao Yu Li
Matthias F. M. Stallmann
Published in:
Ann. Math. Artif. Intell. (2005)
Keyphrases
</>
sat solvers
objective function
information retrieval
learning algorithm
special case
max sat
sat instances
boolean satisfiability