Understanding the power of Max-SAT resolution through UP-resilience.

Mohamed Sami Cherif Djamal Habet André Abramé

Published in: Artif. Intell. (2020)

Keyphrases

max sat
weighted max sat
sat solvers
unit propagation
lower bound
branch and bound algorithm
tabu search
branch and bound
search algorithm
max sat solver
stochastic local search
maximum satisfiability
satisfiability problem
boolean satisfiability