Progression in Maximum Satisfiability.
Alexey IgnatievAntónio MorgadoVasco M. ManquinhoInês LynceJoão Marques-SilvaPublished in: ECAI (2014)
Keyphrases
- maximum satisfiability
- boolean satisfiability
- max sat
- combinatorial problems
- sat problem
- branch and bound algorithm
- sat solvers
- metaheuristic
- constraint programming
- variable ordering
- np hard
- integer linear programming
- phase transition
- satisfiability problem
- probabilistic planning
- symmetry breaking
- randomly generated
- search tree
- learning algorithm
- temporal logic
- branch and bound
- traveling salesman problem
- evolutionary algorithm
- lower bound
- reinforcement learning