Generating Instances for MAX2SAT with Optimal Solutions.
Masaki YamamotoPublished in: Theory Comput. Syst. (2006)
Keyphrases
- max sat
- maximum satisfiability
- weighted max sat
- optimal solution
- branch and bound algorithm
- branch and bound
- lower bound
- stochastic local search
- max sat solver
- randomly generated
- propositional satisfiability
- random sat instances
- sat solvers
- search algorithm
- exact algorithms
- boolean satisfiability
- graph coloring
- satisfiability problem
- sat problem
- variable ordering
- linear programming
- np hard
- sat instances
- random sat
- tabu search
- upper bound
- finding optimal solutions
- inference rules
- search tree
- metaheuristic
- cnf formula
- search space
- unsatisfiable cores
- combinatorial problems
- column generation
- neural network
- boolean formula
- linear program
- knapsack problem
- search strategies
- constraint programming
- constraint satisfaction
- genetic algorithm