A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams
Lecture notes in computer science. Bd. 1200. Berlin: Springer 1997 S. 213 - 224
Erscheinungsjahr: 1997
ISBN/ISSN: 0302-9743
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |