Evolved Preambles for MAX-SAT Heuristics.
Luis Otavio Rigo JuniorValmir Carneiro BarbosaPublished in: IJCCI (ECTA-FCTA) (2011)
Keyphrases
- max sat
- exact algorithms
- search algorithm
- variable ordering
- weighted max sat
- sat solvers
- stochastic local search
- branch and bound algorithm
- lower bound
- sat problem
- branch and bound
- propositional satisfiability
- satisfiability problem
- tabu search
- finding optimal solutions
- unit propagation
- heuristic search
- maximum satisfiability
- constraint satisfaction
- search tree
- boolean satisfiability
- unsatisfiable cores
- linear programming
- search space
- combinatorial problems
- cnf formula
- search strategies
- max sat solver
- randomly generated
- neural network
- search strategy
- sat encodings
- cellular automata
- simulated annealing
- special case