Kyoto University · Graduate School of Informatics · 准教授

Research keywordsgraph enumeration・reconfiguration problems・decision diagrams・answer set programming・combinatorial algorithms・SAT methods

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Enumerating All Graph Colorings Using Zero-Suppressed Binary Decision Diagrams2026 · The 20th International Workshop on Algorithms and Computation (WALCOM 2026),
• Multi-Objective Combinatorial Reconfiguration Considering Cost and Length by Answer Set Programming: Algorithms, Encodings, and Empirical Analysis2025 · The 28th European Conference on Artificial Intelligence (ECAI 2025),
• Scalable hard instances for independent set reconfiguration2024 · The 22nd Symposium on Experimental Algorithms (SEA 2024),
• Efficient Non-isomorphic Graph Enumeration Algorithms for Subclasses of Perfect Graphs2023 · In Proceedings of the 17th International Conference and Workshops on Algorithms and Computation (WALCOM 2023),

• 組合せ遷移の展開に向けた計算機科学・工学・数学によるアプローチの融合
• 離散構造処理系に基づく列挙と最適化の統合的技法の研究
• 空間的な情報補填を可能にするアルゴリズムの研究
• 超スケーラブル汎用ブロック・チェーン技術に向けた情報学的研究

• Official profile