2006 and 2007 Max-SAT Evaluations: Contributed Instances.
Federico HerasJavier LarrosaSimon de GivryThomas SchiexPublished in: J. Satisf. Boolean Model. Comput. (2008)
Keyphrases
- max sat
- maximum satisfiability
- weighted max sat
- stochastic local search
- max sat solver
- random sat instances
- sat solvers
- lower bound
- boolean satisfiability
- branch and bound algorithm
- tabu search
- sat problem
- search algorithm
- branch and bound
- propositional satisfiability
- finding optimal solutions
- graph coloring
- randomly generated
- satisfiability problem
- exact algorithms
- sat instances
- variable ordering
- unsatisfiable cores
- cnf formula
- random sat
- linear programming
- boolean formula
- inference rules
- evolutionary algorithm
- upper bound
- search space
- belief revision
- orders of magnitude
- np complete