Login / Signup
The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies.
Parikshit Gopalan
Phokion G. Kolaitis
Elitza N. Maneva
Christos H. Papadimitriou
Published in:
SIAM J. Comput. (2009)
Keyphrases
</>
boolean satisfiability
sat solvers
symmetry breaking
randomly generated
probabilistic planning
sat solving
boolean optimization
branch and bound algorithm
sat problem
integer linear programming
random sat instances
maximum satisfiability
search strategies
sat instances