Oswaldo Olivo, E. Allen Emerson. Improved Binary Decision Diagram Constraint Propagation for Satisfiability Problems. In 31st International Conference of the Chilean Computer Science Society, SCCC 2012, Valparaíso, Chile, November 12-16, 2012. pages 95-104, IEEE, 2012. [doi]
Abstract is missing.