Algorithm: Enumeration of 0/1 points with threshold BDDs (azove)

MaRDI QIDQ6825859FDO

Builds BDDs to encode 0/1-feasible points subject to linear constraints and enumerates/counts them; performance hinges on variable ordering and pruning.

Described by source

• 0/1 vertex and facet enumeration with BDDs
• Computing convex hulls and counting integer points with polymake

This page was built for algorithm: Algorithm: Enumeration of 0/1 points with threshold BDDs (azove)