Login / Signup
A New Structural Property of SAT
Silvano Di Zenzo
Published in:
CoRR (2008)
Keyphrases
</>
structural information
sat solvers
search algorithm
satisfiability problem
data mining
case study
phase transition
structural analysis
sat instances
graph coloring
stochastic local search algorithms