Améliorer SAT dans le cadre incrémental.
Gilles AudemardArmin BiereJean-Marie LagniezLaurent SimonPublished in: Rev. d'Intelligence Artif. (2014)
Keyphrases
- sat solvers
- satisfiability problem
- search algorithm
- sat problem
- propositional satisfiability
- sat solving
- search strategies
- phase transition
- stochastic local search algorithms
- search procedures
- stochastic local search
- max sat
- human intelligence
- variable ordering
- pseudo boolean constraints
- database
- boolean satisfiability
- sat instances
- mental states
- search space
- neural network