BDDs and Automated Deduction.

Jean Goubault, Joachim Posegga

Browse the full ISMIS paper archive.