Counting/enumerating 0/1 points in polytopes using Binary Decision Diagrams, with emphasis on variable-ordering heuristics for compact representations.
This page was built for algorithm: Algorithm Class: Lattice-point enumeration via threshold BDDs (0/1-polytopes)
