Login / Signup

Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers.

Jan ElffersJan JohannsenMassimo LauriaThomas MagnardJakob NordströmMarc Vinyals
Published in: SAT (2016)
Keyphrases
  • sat solvers
  • evolutionary algorithm
  • sat encodings
  • upper bound
  • constraint satisfaction
  • sat solving