Publications and Awards
-
Decremental optimization of vertex-coloring under the reconfiguration framework
Yusuke Yanagisawa, Akira Suzuki, Yuma Tamura, Xiao ZhouInternational Journal of Computer Mathematics: Computer Systems Theory, Vol. 8, pp. 80-92, 2023 -
Happy set problem on subclasses of co-comparability graphs
Hiroshi Eto, Takehiro Ito, Eiji Miyano, Akira Suzuki, Yuma TamuraAlgorithmica, Vol. 85, Article 44947, 2023 -
ZDD-based algorithmic framework for solving shortest reconfiguration problems
Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa TodaProc. of 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023), Lecture Notes in Computer Science, Vol. 13884, pp. 167-183, 2023 -
On robustness against evacuees' unexpected movement in automatic evacuation guiding
Jun Kawahara, Takanori Hara, Masahiro SasabeComputers and Electrical Engineering, Vol. 105, Article 108531, 2022 -
Efficient non-isomorphic graph enumeration algorithms for subclasses of perfect graphs
Jun Kawahara, Toshiki Saitoh, Hirokazu Takeda, Ryo Yoshinaka, Yui YoshiokaProc. of 17th International Conference and Workshops on Algorithms and Computation (WALCOM 2023), Lecture Notes in Computer Science, Vol. 13973, pp. 151-163, 2023 -
Special case of Rota's basis conjecture on graphic matroids
Shun-ichi Maezawa, Akiko YazawaThe Electronic Journal of Combinatorics, Vol. 29, Article P3.63, 2022DOI: 10.37236/10835 -
Characterization of (m,n)-linked planar graphs
Kengo Enami, Shun-ichi MaezawaGraphs and Combinatorics, Vol. 38, pp. 131, 2022 -
A satisfiability algorithm for deterministic width-2 branching programs
Tomu Makita, Atsuki Nagao, Tatsuki Okada, Kazuhisa Seto, Junichi TeruyamaIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E105-A, pp. 1298-1308, 2022 -
SAT-based method for finding attractors in asynchronous multi-valued networks
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki TamuraProc. of 16th International Joint Conference on Biomedical Enginnering Systems and Technologies, Vol. hal-03964870, 2023 -
Monotone edge flips to an orientation of maximum edge-connectivity à la Nash-Williams
Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta OzekiACM Transactions on Algorithms, Vol. 19, Article 6, 2023DOI: 10.1145/3561302