The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies.
Parikshit GopalanPhokion G. KolaitisElitza N. ManevaChristos H. PapadimitriouPublished in: ICALP (1) (2006)
Keyphrases
- boolean satisfiability
- sat solvers
- probabilistic planning
- boolean optimization
- sat solving
- symmetry breaking
- randomly generated
- integer linear programming
- branch and bound algorithm
- sat problem
- combinatorial problems
- max sat
- constraint programming
- computational complexity
- reinforcement learning
- combinatorial optimization
- search algorithm