名古屋大学 · 情報学部 / 情報学研究科

研究关键词answer set programming・SAT Solving・constraint programming・nurse scheduling・course timetabling・hamiltonian cycle reconfiguration・boolean network attractors・large neighborhood search・pseudo-boolean encoding

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• SAT-Based CEGAR Method for the Hamiltonian Cycle Problem Enhanced by Cut-Set Constraints2025 · 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025) 頁： 24:1 - 24:10 2025年8月
• The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital2025 · In Martin Gebser, Daniela Inclezan, Francesco Ricca, Manuel Carro and Miroslaw Truszczynski: Proceedings 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy, 12-19th September 2025, Electronic Proceedings in Theoretical Computer Science 439 巻 頁： 334 - 348 2026年1月
• A SAT-based Method for Counting All Singleton Attractors in Boolean Networks2025 · Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2025) 頁： 2601 - 2609 2025年
• Dominating Set Reconfiguration with Answer Set Programming2024 · Theory and Practice of Logic Programming 24 巻 ( 4 ) 頁： 755 - 771 2024年7月

• 解集合プログラミングに基づく組合せ遷移問題の汎用解法と遷移最適化への拡張2025 · 研究課題/研究課題番号： 25K03097 2025年4月 - 2028年3月
• 解空間の形状に着目した組合せ遷移の理論：計算量解析の高精細化とソルバー新技法2024 · 研究課題/研究課題番号： 24H00686 2024年4月 - 2028年3月
• SAT技術を用いた制約最適化ソルバーの高速化2023 · 研究課題/研究課題番号： 23K11047 2023年4月 - 2027年3月
• SAT技術に基づく系統的探索と確率的探索の統合的技法の研究開発2021 · 研究課題/研究課題番号： 21K11828 2021年4月 - 2024年3月

• 官方个人主页