Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne.
Daniel Le BerreEmmanuel LoncaPublished in: Rev. d'Intelligence Artif. (2014)
Keyphrases
- sat solvers
- satisfiability problem
- genetic algorithm
- sat problem
- stochastic local search
- search algorithm
- stochastic local search algorithms
- propositional satisfiability
- optimisation algorithm
- global optimisation
- boolean satisfiability
- low latency
- max sat
- phase transition
- sat instances
- graph coloring
- np complete
- np hard