Second-Order SAT Solving using Program Synthesis.

Daniel Kroening Matt Lewis

Published in: CoRR (2014)

Keyphrases

program synthesis
sat solving
sat solvers
boolean satisfiability
sat problem
inductive logic programming
sat encodings
max sat
knowledge base
prior knowledge
dynamic programming
logic programs
np complete
search tree