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

研究キーワード制約プログラミング・論理プログラミング・命題論理の充足可能性判定 (SAT)・知識表現及び推論・SAT・解集合プログラミング

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Dominating Set Reconfiguration with Answer Set Programming2025 · THEORY AND PRACTICE OF LOGIC PROGRAMMING 24 巻 ( 4 ) 頁： 755 - 771 2025年1月
• A SAT-based Method for Counting All Singleton Attractors in Boolean Networks2025 · Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI 2025) Main Track 巻 頁： 2601 - 2609 2025年8月
• Fast enumeration of all cost-bounded solutions for combinatorial problems using ZDDs2025 · DISCRETE APPLIED MATHEMATICS 360 巻 頁： 467 - 486 2025年1月
• SAT-based CEGAR Method for the Hamiltonian Cycle Problem Enhanced by Cut-Set Constraints2025 · Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025) 341 巻 頁： 24:1 - 24:10 2025年8月

• 離散構造処理に基づく列挙・最適化・制約充足の統合的技法とその応用2025 · 研究課題/研究課題番号： 25H01114 2025年4月 - 2030年3月
• 解集合プログラミングに基づく組合せ遷移問題の汎用解法と遷移最適化への拡張2025 · 研究課題/研究課題番号： 25K03097 2025年4月 - 2028年3月
• 制約最適化問題のSAT変換による解法とその並列分散処理に関する研究2024 · 研究課題/研究課題番号： 20240003 2008年4月 - 2012年3月
• 理論的に計算不能・計算困難なクラスの可解領域の研究2024 · 研究課題/研究課題番号： 24H00690 2024年4月 - 2029年3月

• 公式プロフィール
• ORCID