Satisfiability Checking Using Boolean Expression Diagrams. - Williams, Poul Frederick; Andersen, Henrik Reif; Hulgaard, Henrik (2001)