https://cir.nii.ac.jp/crid/1390001204737083904
ZDDs and Enumeration Problems: State-of-The-Art Techniques and Programming Tool | CiNii Research
Combinatorial enumeration problems are to find all combinations of items (solutions) that satisfy given constraints. There are many applications to various...
state of the art