Rchr
J-GLOBAL ID：201101020046215696   Update date: Nov. 05, 2024

Soh Takehide

ソウ タケヒデ | Soh Takehide
Affiliation and department：
Kobe University (Information Science and Technology Center)

About Kobe University (Information Science and Technology Center)


Job title： Associate Professor
Other affiliations (1)：
  • 学術情報処理研究部門
Homepage URL  (2)： http://tsoh.org/jp/ ,  http://tsoh.org/
Research field  (4)： Software ,  Information theory ,  Biological, health, and medical informatics ,  Intelligent informatics
Research keywords  (15)： 充足可能性判定 ,  SAT ,  制約充足 ,  制約最適化 ,  システム生物学 ,  充足可能性判定問題 ,  命題論理 ,  ドメイン特化言語 ,  推論技術 ,  SAT技術 ,  ハミルトン閉路問題 ,  動的制約 ,  フランス ,  国際情報交換 ,  制約プログラミング
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 先進的な知識表現および推論技術を基盤とした多目的最適化ソルバーの研究開発
Show all
Papers (94)：
  • Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara. ASP-Based Large Neighborhood Prioritized Search for Course Timetabling. 2025
  • Takehide Soh, Tomoya Tanjo, Yoshio Okamoto, Takehiro Ito. CoRe Challenge 2022/2023: Empirical Evaluations for Independent Set Reconfiguration Problems (Extended Abstract). Proceedings of the International Symposium on Combinatorial Search. 2024. 17. 285-286
  • 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
ｍore...
MISC (49)：
  • Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara. Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. CoRR. 2024. abs/2403.07885. 11p.
  • 伊藤健洋, 川原純, 中畑裕, 宋剛秀, 鈴木顕, 照山順一, 戸田貴久. ZDDを用いた組合せ遷移ソルバー. 日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集. 2022. 2022
  • 堀岡真未, 宋剛秀, 田村直之. CDCL型SATソルバーの内部動作可視化ツール. 日本ソフトウェア科学会第38回大会ポスター発表. 2021
  • 足立啓一, 宋剛秀, 田村直之. ライフゲームを逆向きに動かす. 日本ソフトウェア科学会第38回大会ポスター発表. 2021
  • 三嶋哲平, 宋剛秀, 田村直之. SATソルバーを用いた一層平面配置配線問題の解法に関する考察. 日本ソフトウェア科学会第37回大会ポスター発表. 2020
ｍore...
Lectures and oral presentations  (22)：
  • 正規制約に対するSAT符号化手法の提案と評価
    (The 22th Workshop on Programming and Programming Languages (PPL 2020) 2020)
  • 解集合ソルバーを用いた様相命題論理の充足可能性判定
    (The 22th Workshop on Programming and Programming Languages (PPL 2020) 2020)
  • 正規制約のSAT符号化とその性能評価
    (日本ソフトウェア科学会第35回大会 2018)
  • SATソルバーを用いた様相命題論理S4の充足可能性判定
    (日本ソフトウェア科学会第35回大会 2018)
  • teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming
    (The 28th International Conference on Automated Planning and Scheduling, (ICAPS 2018) 2018)
ｍore...
Education (1)：
  • - 2011 The Graduate University for Advanced Studies School of Multidisciplinary Sciences
Professional career (1)：
  • Ph.D. (The Graduate University for Advanced Studies)
Work history (2)：
  • 2019/04 - 現在 神戸大学 情報基盤センター 准教授
  • 2012/04 - Kobe University
Awards (16)：
  • 2022/08 - 2022 XCSP3 Competition Sequential CSP Solver track 2nd place Fun-sCOP
  • 2019/10/02 - XCSP3 Competition Organization 2019 XCSP3 Competition Sequential CSP Solver 2nd Place Fun-sCOP
  • 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
  • 2018/09 - 情報処理学会 情報処理学会 2018 年度特選論文 SAT技術を用いたペトリネットのデッドロック検出手法の提案
Show all
Association Membership(s) (4)：
人工知能学会 ,  電子情報通信学会 ,  情報処理学会 ,  日本ソフトウェア科学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM