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

Priyank Kalla Zhihong Zeng Maciej J. Ciesielski ChiLai Huang A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm. 232-236 2000 conf/date/2000 DATE http://csdl.computer.org/comp/proceedings/date/2000/0537/00/05370232abs.htm db/conf/date/date2000.html#KallaZCH00