From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Implementation of sequence BDDs in Erlang., , и . Erlang Workshop, стр. 90-91. ACM, (2011)Approximated ZDD Construction Considering Inclusion Relations of Models., , , , и . SEA², том 11544 из Lecture Notes in Computer Science, стр. 265-282. Springer, (2019)Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations., , , и . Discret. Appl. Math., (2016)Storing Set Families More Compactly with Top ZDDs., , и . Algorithms, 14 (6): 172 (2021)Counterexamples to the long-standing conjecture on the complexity of BDD binary operations., , , , и . Inf. Process. Lett., 112 (16): 636-640 (2012)Storing Set Families More Compactly with Top ZDDs., , и . SEA, том 160 из LIPIcs, стр. 6:1-6:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)New Algorithms for Manipulating Sequence BDDs.. CIAA, том 11601 из Lecture Notes in Computer Science, стр. 108-120. Springer, (2019)Single Family Algebra Operation on ZDDs Leads To Exponential Blow-Up., , и . CoRR, (2024)Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams ., , , и . Stringology, стр. 157-167. Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, (2013)DenseZDD: A Compact and Fast Index for Families of Sets., , , , , и . SEA, том 8504 из Lecture Notes in Computer Science, стр. 187-198. Springer, (2014)