The top documents tagged [millions of variables]
Binary Decision Diagrams (BDD)
57 views