Login / Signup
An Experiment with Satisfiability Modulo SAT.
Hantao Zhang
Published in:
J. Autom. Reason. (2016)
Keyphrases
</>
satisfiability problem
sat problem
phase transition
satisfiability testing
sat solving
sat instances
stochastic local search
np complete
sat encodings
sat solvers
search algorithm
davis putnam logemann loveland
propositional satisfiability
davis putnam
temporal logic
boolean satisfiability
boolean formula
stochastic local search algorithms
randomly generated
max sat
random sat
cnf formula
propositional logic
branch and bound
constraint satisfaction problems
unit propagation
random sat instances
first order logic
decision procedures
propositional formulas
search space
conjunctive normal form
constraint satisfaction
search procedures
np complete problems
pseudo boolean constraints
combinatorial optimization
knowledge base
tabu search
graph coloring
decision problems
combinatorial problems
industrial applications
branch and bound algorithm