Planifier l'épreuve E5 à l'aide d'un solutionneur SAT.

Thomas Delacroix Hadi Sadighiyan

Published in: APIA (2018)

Keyphrases

satisfiability problem
sat solvers
sat problem
phase transition
propositional satisfiability
search algorithm
sat solving
stochastic local search
np complete
database
search strategies
boolean satisfiability
variable ordering
stochastic local search algorithms
satisfiability testing