Keyphrases
- lower bound
- max sat
- upper bound
- branch and bound algorithm
- random instances
- branch and bound
- boolean satisfiability
- satisfiability problem
- sat solvers
- objective function
- search algorithm
- variable ordering
- randomly generated
- optimal solution
- sat solving
- sat problem
- lower and upper bounds
- vc dimension
- worst case
- np hard
- upper and lower bounds
- search strategies
- linear programming relaxation
- propositional satisfiability
- sample size
- data structure
- min sum
- random sat