Satisfiability checking using Boolean Expression Diagrams.

Poul Frederick Williams Henrik Reif Andersen Henrik Hulgaard Satisfiability checking using Boolean Expression Diagrams. 4-14 2003 5 STTT 1 http://dx.doi.org/10.1007/s10009-002-0102-5 db/journals/sttt/sttt5.html#WilliamsAH03