![](/img/cover-not-exists.png)
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond1
Tveretina, Olga, Sinz, Carsten, Zantema, HansVolume:
7
Journal:
Journal on Satisfiability, Boolean Modeling and Computation
DOI:
10.3233/sat190074
Date:
March, 2010
File:
PDF, 549 KB
2010