Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond

Olga Tveretina, Carsten Sinz, Hans Zantema

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Mathematics