The power of QDDs. Available at http://www.montefiore.ulg.ac.be/~biogelot/research/BGWW97.ps (0)

by B Boigelot, P Godefroid, B Willems, P Wolper