Login / Signup
On Tackling the Limits of Resolution in SAT Solving.
Alexey Ignatiev
António Morgado
João Marques-Silva
Published in:
SAT (2017)
Keyphrases
</>
sat solving
clause learning
sat solvers
sat problem
boolean satisfiability
boolean optimization
satisfiability problem
constraint satisfaction
propositional satisfiability