Amélioration du raisonnement dans les solveurs SAT CDCL avec la règle d'extension.
Rodrigue Konan TchindaClémentin Tayou DjamégniPublished in: ARIMA J. (2020)
Keyphrases
- sat solvers
- sat encodings
- sat solving
- sat problem
- propositional satisfiability
- max sat
- constraint satisfaction
- orders of magnitude
- boolean satisfiability
- search space
- search strategies
- search tree
- sat instances
- unit propagation
- information retrieval
- clause learning
- industrial applications
- heuristic search
- logic programming