A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams.

Christoph Meinel, Anna Slobodov

Browse the full STACS paper archive.