Algorithm Class: Lattice-point enumeration via threshold BDDs (0/1-polytopes)

Original label: Algorithm Class: Lattice-point enumeration via threshold BDDs (0/1-polytopes)