Login / Signup

On Tackling the Limits of Resolution in SAT Solving.

Alexey IgnatievAntónio MorgadoJoã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