Author of the publication

Counterexamples to the long-standing conjecture on the complexity of BDD binary operations.

, , , , and . Inf. Process. Lett., 112 (16): 636-640 (2012)

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

Finite-State Online Algorithms and Their Automated Competitive Analysis., , and . ISAAC, volume 4288 of Lecture Notes in Computer Science, page 71-80. Springer, (2006)Development of a Robot Intervention Program in Medication Instruction at a Pharmacy., , , and . IIAI-AAI, page 954-955. IEEE, (2018)Schedule guidance system for slab extraction sequence from furnace in hot rolling process., , and . ASCC, page 1-4. IEEE, (2015)Enumerating Graph Partitions Without Too Small Connected Components Using Zero-suppressed Binary and Ternary Decision Diagrams., , and . SEA, volume 103 of LIPIcs, page 21:1-21:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Automatic Evacuation Guiding Scheme Using Trajectories of Mobile Nodes., , , and . MobiWIS, volume 9228 of Lecture Notes in Computer Science, page 3-14. Springer, (2015)ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems., , , , , , and . CPAIOR, volume 13884 of Lecture Notes in Computer Science, page 167-183. Springer, (2023)Colorful Frontier-Based Search: Implicit Enumeration of Chordal and Interval Subgraphs., , , and . SEA², volume 11544 of Lecture Notes in Computer Science, page 125-141. Springer, (2019)The Time Complexity of the Token Swapping Problem and Its Parallel Variants., , and . WALCOM, volume 10167 of Lecture Notes in Computer Science, page 448-459. Springer, (2017)Aggregating Crowd Opinions Using Shapley Value Regression., , and . MIWAI, volume 11248 of Lecture Notes in Computer Science, page 151-160. Springer, (2018)Tight Analysis of Priority Queuing for Egress Traffic., , and . COCOA, volume 8881 of Lecture Notes in Computer Science, page 459-473. Springer, (2014)