Satisfiability Checking Using Boolean Expression Diagrams.

Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard

Browse the full TACAS paper archive.