Keyphrases
- boolean satisfiability
- neural network
- sat solvers
- sat solving
- boolean optimization
- probabilistic planning
- randomly generated
- integer linear programming
- symmetry breaking
- maximum satisfiability
- branch and bound algorithm
- max sat
- random sat instances
- sat problem
- orders of magnitude
- sat instances
- combinatorial problems
- lower bound
- multi agent