Online Estimation of SAT Solving Runtime.

Shai Haim Toby Walsh

Published in: SAT (2008)

Keyphrases

sat solving
sat solvers
domain specific
boolean satisfiability
linear programming
sat problem
boolean optimization