Research theme for competitive and other funds (11):
2022 - 2025 Research and Development of a New SAT Solving Technologies for Constraint Satisfaction Problems
2021 - 2024 Research and Development on SAT-based Integration of Systematic and Stochastic Search
2020 - 2023 Engineering Approach for Expanding Combinatorial Reconfiguration: Toward a General-Purpose Solver Using Power Distribution Systems as a Steppingstone
2020 - 2023 Acceleration of SAT-based CSP Solvers using MDD
2018 - 2021 先進的な知識表現および推論技術を基盤とした多目的最適化ソルバーの研究開発
2016 - 2019 ハイブリッド符号化を用いた高性能なSAT型制約プログラミングシステム
2016 - 2019 SATを基盤とした新しい制約プログラミングシステムの研究開発
2015 - 2018 SAT符号化を用いた制約解集合プログラミングに関する研究開発
2013 - 2015 代謝パスウェイ解析のための制約プログラミングシステムの研究開発
2012 - 2014 命題論理の推論技術を用いた高性能かつ柔軟な制約プログラミングシステムの実現
2010 - 2011 SAT変換を用いた制約充足問題の解法とシステム生物学への応用
Show all
Papers (92):
Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura. Hamiltonian Cycle Reconfiguration with Answer Set Programming. In: S. Gaggl et al. (eds.), Logics in Artificial Intelligence, Proceedings of the 18th European Conference (JELIA 2023), Lecture Notes in Artificial Intelligence. 2023. 14281. to appear-16p.
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura. SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks. Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies. 2023. 163-174
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura. SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks. 2023
teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming
(The 28th International Conference on Automated Planning and Scheduling, (ICAPS 2018) 2018)
2019/08/29 - Japan Society for Software Science and Technology 7th Best Review Paper Award (2018) SAT-based Constraint Programming Systems and Related Technologies
2019 - The Japanese Society for Artificial Intelligence JSAI Annual Conference Award 2019 A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition