Prioritised Unit Propagation by Partitioning the Watch Lists.

Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis

Browse the full SAT paper archive.