The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies.
Parikshit GopalanPhokion G. KolaitisElitza N. ManevaChristos H. PapadimitriouPublished in: Electron. Colloquium Comput. Complex. (2006)
Keyphrases
- boolean satisfiability
- sat solving
- sat solvers
- boolean optimization
- randomly generated
- probabilistic planning
- maximum satisfiability
- max sat
- sat problem
- branch and bound algorithm
- symmetry breaking
- integer linear programming
- evolutionary algorithm
- cutting plane
- combinatorial problems
- constraint programming
- orders of magnitude
- special case