Login / Signup
Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers.
Jan Elffers
Jan Johannsen
Massimo Lauria
Thomas Magnard
Jakob Nordström
Marc Vinyals
Published in:
SAT (2016)
Keyphrases
</>
sat solvers
evolutionary algorithm
sat encodings
upper bound
constraint satisfaction
sat solving