Atsuki Nagao

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Feedback game on Eulerian graphs (available as arXiv preprint)	2024-04-09	Paper
Feedback game on Eulerian graphs	2024-04-09	Paper
Physical zero-knowledge proof for Makaro Lecture Notes in Computer Science	2023-08-02	Paper
Card-based ZKP protocols for Takuzu and Juosan	2023-02-07	Paper
Satisfiability algorithm for syntactic read-\(k\)-times branching programs Theory of Computing Systems	2021-06-11	Paper
Satisfiability algorithm for syntactic read-\(k\)-times branching programs	2020-11-25	Paper
Read-Once Branching Programs for Tree Evaluation Problems ACM Transactions on Computation Theory	2019-12-16	Paper
A Much Faster Branch-and-Bound Algorithm for Finding a Maximum Clique Frontiers in Algorithmics	2019-04-26	Paper
A moderately exponential time algorithm for k-IBDD satisfiability Algorithmica	2018-07-26	Paper
Topological graph description of multicellular dynamics based on vertex model Journal of Theoretical Biology	2018-05-24	Paper
Read-once branching programs for tree evaluation problems	2017-03-03	Paper
A moderately exponential time algorithm for \(k\)-IBDD satisfiability Lecture Notes in Computer Science	2015-10-30	Paper
Efficient algorithms for sorting k-sets in bins Algorithms and Computation	2014-02-18	Paper

Research outcomes over time

This page was built for person: Atsuki Nagao