Unit contradiction versus unit propagation

Olivier Bailleux

Published in: CoRR (2012)

Keyphrases

unit propagation
sat solvers
max sat
sat encodings
search tree
sat problem
lower bound
orders of magnitude