Weight Redistribution for Unweighted MAX-SAT.
Abdelraouf IshtaiwiJohn ThorntonAbdul SattarPublished in: Australian Conference on Artificial Intelligence (2007)
Keyphrases
- random sat instances
- max sat
- stochastic local search
- sat problem
- sat solvers
- lower bound
- tabu search
- search algorithm
- weighted max sat
- branch and bound
- satisfiability problem
- branch and bound algorithm
- maximum satisfiability
- unsatisfiable cores
- constraint satisfaction
- variable ordering
- boolean satisfiability
- linear programming
- max sat solver
- integer programming
- randomly generated
- simulated annealing
- genetic algorithm
- cnf formula
- temporal logic
- cellular automata
- scheduling problem