Boosting Distance-Based Revision Using SAT Encodings.

Sébastien Konieczny Jean-Marie Lagniez Pierre Marquis

Published in: LORI (2017)

Keyphrases

sat encodings
sat solvers
belief revision
linear arithmetic constraints
combinatorial problems
learning algorithm
planning problems
graph coloring
information retrieval
genetic algorithm
search space
combinatorial optimization
branch and bound algorithm