Login / Signup
The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies
Parikshit Gopalan
Phokion G. Kolaitis
Elitza N. Maneva
Christos H. Papadimitriou
Published in:
CoRR (2006)
Keyphrases
</>
boolean satisfiability
sat solvers
branch and bound algorithm
randomly generated
boolean optimization
sat solving
maximum satisfiability
sat problem
integer linear programming
probabilistic planning
combinatorial problems
state space
constraint satisfaction problems
heuristic search
max sat