Revisiting Decision Diagrams for SAT

Tom van Dijk, Rüdiger Ehlers, Armin Biere

Symbolic variants of clause distribution using decision diagrams to eliminate variables in SAT were shown to perform well on hard combinatorial instances. In this paper we revisit…