Prioritised Unit Propagation by Partitioning the Watch Lists.

Benjamin Kaiser Robert Clausecker Michael Mavroskoufis

Published in: POS@SAT (2023)

Keyphrases

unit propagation
search tree
max sat
sat problem
sat solvers
conjunctive normal form
sat encodings
np complete
search strategy
sat instances
clause learning