The Power of QDDs (Extended Abstract).

Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper

Browse the full SAS paper archive.