Login / Signup
Some Structural Properties of SAT.
Tian Liu
Published in:
J. Comput. Sci. Technol. (2000)
Keyphrases
</>
structural properties
sat solvers
satisfiability problem
stochastic local search
tree width
sat problem
boolean satisfiability
sat solving
tractable classes
max sat
propositional satisfiability
search strategies
stochastic local search algorithms
phase transition
topological properties
sat instances