Login / Signup
SAT Modulo Monotonic Theories.
Sam Bayless
Noah Bayless
Holger H. Hoos
Alan J. Hu
Published in:
AAAI (2015)
Keyphrases
</>
modulo theories
satisfiability problem
sat solvers
sat problem
sat instances
sat solving
search algorithm
theoretical framework
search strategies
neural network
information systems
phase transition
max sat
variable ordering