Implicit Decision Diagrams

Isaac Rudich, Louis-Martin Rousseau

Decision Diagrams (DDs) have emerged as a powerful tool for discrete optimization, with rapidly growing adoption. DDs are directed acyclic layered graphs; restricted DDs are a gene…