Author of the publication

Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs.

. DAC, page 420-424. ACM Press, (1994)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation., , and . DAC, page 52-57. IEEE Computer Society Press, (1990)Implementation of sequence BDDs in Erlang., , and . Erlang Workshop, page 90-91. ACM, (2011)Second Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP)., and . JSAI-isAI Workshops, volume 7258 of Lecture Notes in Computer Science, page 184-185. Springer, (2011)Exact Computation of Strongly Connected Reliability by Binary Decision Diagrams., , and . COCOA, volume 11346 of Lecture Notes in Computer Science, page 281-295. Springer, (2018)Optimizing Network Reliability via Best-First Search over Decision Diagrams., , , , and . INFOCOM, page 1817-1825. IEEE, (2018)Recent Research Activities on Algorithmic Foundations for Social Advancement.. WALCOM, volume 14549 of Lecture Notes in Computer Science, page 1-8. Springer, (2024)Fast Regular Expression Matching Based On Dual Glushkov NFA., , , , and . Stringology, page 3-16. Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, (2014)Great east Japan earthquake viewed from a URL shortener., , , and . SWID@CoNEXT, page 8:1-8:8. ACM, (2011)BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems., , , , , and . AAAI Workshops, volume WS-17 of AAAI Technical Report, AAAI Press, (2017)Dancing with Decision Diagrams: A Combined Approach to Exact Cover., , , and . AAAI, page 868-874. AAAI Press, (2017)