From post

Read-Once Branching Programs for Tree Evaluation Problems.

, и . STACS, том 25 из LIPIcs, стр. 409-420. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)

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.

No persons found for author name Nagao, Atsuki
add a person with the name Nagao, Atsuki
 

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

Light Cryptography., , , и . World Conference on Information Security Education, том 557 из IFIP Advances in Information and Communication Technology, стр. 89-101. Springer, (2019)A Much Faster Algorithm for Finding a Maximum Clique with Computational Experiments., , , , и . J. Inf. Process., (2017)Computational Complexity of Tree Evaluation Problems and Branching Program Satisfiability Problems.. Kyoto University, Japan, (2015)A Moderately Exponential Time Algorithm for k-IBDD Satisfiability., , и . WADS, том 9214 из Lecture Notes in Computer Science, стр. 554-565. Springer, (2015)Read-Once Branching Programs for Tree Evaluation Problems., и . STACS, том 25 из LIPIcs, стр. 409-420. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Feedback game on Eulerian graphs., и . CoRR, (2020)A Moderately Exponential Time Algorithm for k-IBDD Satisfiability., , и . Algorithmica, 80 (10): 2725-2741 (2018)Card-Based ZKP Protocols for Takuzu and Juosan., , , , , , , и . FUN, том 157 из LIPIcs, стр. 20:1-20:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Efficient Algorithms for Sorting k-Sets in Bins., , и . WALCOM, том 8344 из Lecture Notes in Computer Science, стр. 225-236. Springer, (2014)A Much Faster Branch-and-Bound Algorithm for Finding a Maximum Clique., , , , , и . FAW, том 9711 из Lecture Notes in Computer Science, стр. 215-226. Springer, (2016)