Improved Binary Decision Diagram Constraint Propagation for Satisfiability Problems

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

Abstract is missing.