Read-once Projections and Formal Circuit Verification with Binary Decision Diagrams.

Beate Bollig, Ingo Wegener

Browse the full STACS paper archive.