A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm.

Priyank Kalla, Zhihong Zeng, Maciej J. Ciesielski, ChiLai Huang

Browse the full DATE paper archive.