Login / Signup
HaifaSat: A New Robust SAT Solver.
Roman Gershman
Ofer Strichman
Published in:
Haifa Verification Conference (2005)
Keyphrases
</>
sat solvers
sat solving
orders of magnitude
constraint satisfaction
max sat
document retrieval
search strategies
constraint solver
sat encodings