Activities

Publications and Awards

  • Decremental optimization of vertex-coloring under the reconfiguration framework

    Yusuke Yanagisawa, Akira Suzuki, Yuma Tamura, Xiao Zhou
    International 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 Tamura
    Algorithmica, 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 Toda
    Proc. 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 Sasabe
    Computers 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 Yoshioka
    Proc. 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 Yazawa
    The Electronic Journal of Combinatorics, Vol. 29, Article P3.63, 2022
  • Characterization of (m,n)-linked planar graphs

    Kengo Enami, Shun-ichi Maezawa
    Graphs 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 Teruyama
    IEICE 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 Tamura
    Proc. 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 Ozeki
    ACM Transactions on Algorithms, Vol. 19, Article 6, 2023