Login / Signup
SAT Modulo Monotonic Theories.
Sam Bayless
Noah Bayless
Holger H. Hoos
Alan J. Hu
Published in:
CoRR (2014)
Keyphrases
</>
modulo theories
sat solvers
sat problem
satisfiability problem
search algorithm
propositional satisfiability
stochastic local search
phase transition
theoretical framework
computational models
defeasible logic
satisfiability modulo theories
boolean satisfiability
sat solving
pseudo boolean constraints