The First and Second Max-SAT Evaluations.
Josep ArgelichChu Min LiFelip ManyàJordi PlanesPublished in: J. Satisf. Boolean Model. Comput. (2008)
Keyphrases
- max sat
- weighted max sat
- lower bound
- sat solvers
- search algorithm
- tabu search
- branch and bound algorithm
- branch and bound
- satisfiability problem
- sat problem
- stochastic local search
- constraint satisfaction
- maximum satisfiability
- variable ordering
- boolean satisfiability
- max sat solver
- linear programming
- unsatisfiable cores
- cnf formula
- propositional satisfiability
- orders of magnitude
- scheduling problem
- randomly generated
- search tree
- query expansion
- upper bound
- data structure
- neural network