Autor der Publikation

Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations.

, , , und . Discret. Appl. Math., (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Implementation of sequence BDDs in Erlang., , und . Erlang Workshop, Seite 90-91. ACM, (2011)Approximated ZDD Construction Considering Inclusion Relations of Models., , , , und . SEA², Volume 11544 von Lecture Notes in Computer Science, Seite 265-282. Springer, (2019)Counterexamples to the long-standing conjecture on the complexity of BDD binary operations., , , , und . Inf. Process. Lett., 112 (16): 636-640 (2012)Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations., , , und . Discret. Appl. Math., (2016)International Competition on Graph Counting Algorithms 2023., , , , , und . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 107 (9): 1441-1451 (2024)DenseZDD: A Compact and Fast Index for Families of Sets., , , , , und . SEA, Volume 8504 von Lecture Notes in Computer Science, Seite 187-198. Springer, (2014)Enumerating Eulerian Trails via Hamiltonian Path Enumeration., , , , , , und . WALCOM, Volume 8973 von Lecture Notes in Computer Science, Seite 161-174. Springer, (2015)DenseZDD: A Compact and Fast Index for Families of Sets., , , , , und . Algorithms, 11 (8): 128 (2018)Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations., , , und . Stringology, Seite 147-161. Prague Stringology Club, Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, (2011)New Algorithms for Manipulating Sequence BDDs.. CIAA, Volume 11601 von Lecture Notes in Computer Science, Seite 108-120. Springer, (2019)