Atsuki Nagao

Available identifiers

zbMath Open nagao.atsukiMaRDI QIDQ722516

List of research outcomes

Publication	Date of Publication	Type
Feedback game on Eulerian graphs	2024-04-09	Paper
Physical zero-knowledge proof for Makaro	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	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	2019-12-16	Paper
A Much Faster Branch-and-Bound Algorithm for Finding a Maximum Clique	2019-04-26	Paper
A moderately exponential time algorithm for \(k\)-IBDD satisfiability	2018-07-26	Paper
Topological graph description of multicellular dynamics based on vertex model	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	2015-10-30	Paper
Efficient algorithms for sorting \(k\)-sets in bins	2014-02-18	Paper

Research outcomes over time

This page was built for person: Atsuki Nagao