Rchr
J-GLOBAL ID:201101020046215696   Update date: Sep. 01, 2020

Soh Takehide

ソウ タケヒデ | Soh Takehide
Affiliation and department:
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  (7):
  • 2020 - 2023 MDDを用いたSAT型CSPソルバーの高速化
  • 2018 - 2021 先進的な知識表現および推論技術を基盤とした多目的最適化ソルバーの研究開発
  • 2016 - 2019 ハイブリッド符号化を用いた高性能なSAT型制約プログラミングシステム
  • 2016 - 2019 SATを基盤とした新しい制約プログラミングシステムの研究開発
  • 2015 - 2018 SAT符号化を用いた制約解集合プログラミングに関する研究開発
Show all
Papers (80):
  • Studies on a Parallelization Method of SAT-based CSP Solvers using CEGAR and the Share of Counterexamples. 2020. 112. 6-11
  • IINO Naoki, TAMURA Naoyuki, SOH Takehide, BANBARA Mutsunori, INOUE Katsumi. Satisfiability Testing of Propositional Modal Logic K with Answer Set Programming. Proceedings of the Annual Conference of JSAI. 2020. 2020. 0. 2N5OS17b05-2N5OS17b05
  • SOH TAKEHIDE, Daniel Le Berre, 番原睦則, TAMURA NAOYUKI. A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition. 2019年度人工知能学会全国大会(第33回)論文集. 2019. 1-4
  • 大野周亮, 番原睦則, SOH TAKEHIDE, TAMURA NAOYUKI. alldifferent制約のブール基数制約への符号化手法の提案とクイーングラフ彩色問題への応用. 人工知能学会研究会資料. 2019. SIG-FPAI-B803. 6-11
  • Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura. Solver Description of Fun-sCOP. Solver Descriptions of XCSP3 Competition 2019 (XCSP19). 2019. 1-2
more...
MISC (42):
  • SAT Evolution and Applications:2. Satisfiability and Puzzles - How to Solve Problems with a SAT Solver -. 2016. 57. 8. 710-715
  • SO TAKEHIDE, SAKODA ATSUSHI, BAMBARA MUTSUNORI, TAMURA NAOYUKI. 制約充足問題のハイブリッド符号化に向けて. 人工知能学会人工知能基本問題研究会資料. 2015. 97th. 65-73
  • KANEYUKI HIROMASA, BAMBARA MUTSUNORI, SO TAKEHIDE, TAMURA NAOYUKI, INOUE KATSUMI. 組合せテストケース生成問題に対する制約解集合プログラミングの適用. 人工知能学会全国大会論文集(CD-ROM). 2015. 29th. ROMBUNNO.2H5-OS-03B-5
  • 宋剛秀, 番原睦則, 田村直之. 順序符号化と対数符号化を融合した制約充足問題のハイブリッド符号化. 日本ソフトウエア科学会大会講演論文集(CD-ROM). 2015. 32nd. ROMBUNNO.PPL6-3
  • 宋剛秀, 馬場知哉. Scala上に実現した生物の代謝パスウェイ解析用のドメイン特化言語について. 日本ソフトウエア科学会大会講演論文集(CD-ROM). 2015. 32nd. ROMBUNNO.SOFUTOWEA1
more...
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)
more...
Education (1):
  • - 2011 The Graduate University for Advanced Studies
Professional career (2):
  • Ph.D. (The Graduate University for Advanced Studies)
  • 博士(情報学) (総合研究大学院大学)
Work history (2):
  • 2019/04 - 現在 神戸大学 情報基盤センター 准教授
  • 2012/04 - Kobe University
Awards (15):
  • 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技術を用いたペトリネットのデッドロック検出手法の提案
  • 2018/08 - XCSP3 Competition Organization 2018 XCSP3 Competition 2部門優勝 (逐次CSPソルバー部門, 並列CSPソルバー部門) sCOP
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