Takehide Soh

Profile Information

Affiliation: Kobe University (Information Science and Technology Center) Associate Professor
: 学術情報処理研究部門

Degree: Ph.D.(The Graduate University for Advanced Studies)
博士（情報学）(総合研究大学院大学)

神戸大学情報基盤センター准教授．博士（情報学)．
SAT問題を含む制約充足問題の研究およびシステム生物学への応用に従事．

ResearchMap の情報は最新でないことがあります．
最新の情報・詳細は以下のURLをご覧ください．
http://tsoh.org/jp/

Studies on a Parallelization Method of SAT-based CSP Solvers using CEGAR and the Share of Counterexamples

112 6 - 11 Mar 8, 2020
Satisfiability Testing of Propositional Modal Logic K with Answer Set Programming

IINO Naoki, TAMURA Naoyuki, SOH Takehide, BANBARA Mutsunori, INOUE Katsumi

Proceedings of the Annual Conference of JSAI 2020 2N5OS17b05 - 2N5OS17b05 2020
A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition

SOH TAKEHIDE, Daniel Le Berre, 番原睦則, TAMURA NAOYUKI

2019年度人工知能学会全国大会(第33回)論文集 1 - 4 Jun, 2019
alldifferent制約のブール基数制約への符号化手法の提案とクイーングラフ彩色問題への応用

大野周亮, 番原睦則, SOH TAKEHIDE, TAMURA NAOYUKI

人工知能学会研究会資料 SIG-FPAI-B803 6 - 11 Mar, 2019
Solver Description of Fun-sCOP

Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura

Solver Descriptions of XCSP3 Competition 2019 (XCSP19) 1 - 2 2019

SAT Evolution and Applications：2. Satisfiability and Puzzles - How to Solve Problems with a SAT Solver -

57(8) 710 - 715 Jul 15, 2016
制約充足問題のハイブリッド符号化に向けて

SO TAKEHIDE, SAKODA ATSUSHI, BAMBARA MUTSUNORI, TAMURA NAOYUKI

人工知能学会人工知能基本問題研究会資料 97th 65 - 73 Mar 18, 2015
組合せテストケース生成問題に対する制約解集合プログラミングの適用

KANEYUKI HIROMASA, BAMBARA MUTSUNORI, SO TAKEHIDE, TAMURA NAOYUKI, INOUE KATSUMI

人工知能学会全国大会論文集(CD-ROM) 29th ROMBUNNO.2H5-OS-03B-5 2015
順序符号化と対数符号化を融合した制約充足問題のハイブリッド符号化

宋剛秀, 番原睦則, 田村直之

日本ソフトウエア科学会大会講演論文集(CD-ROM) 32nd ROMBUNNO.PPL6-3 2015
Scala上に実現した生物の代謝パスウェイ解析用のドメイン特化言語について

宋剛秀, 馬場知哉

日本ソフトウエア科学会大会講演論文集(CD-ROM) 32nd ROMBUNNO.SOFUTOWEA1 2015

正規制約に対するSAT符号化手法の提案と評価

Tetsuya Ikuta, Naoyuki Tamura, Takehide Soh, Mutsunori Banbara

The 22th Workshop on Programming and Programming Languages (PPL 2020) 2020
解集合ソルバーを用いた様相命題論理の充足可能性判定

Naoki Iino, Naoyuki Tamura, Takehide Soh, Banbara Mutsunori, Katsumi Inoue

The 22th Workshop on Programming and Programming Languages (PPL 2020) 2020
正規制約のSAT符号化とその性能評価

生田哲也, TAMURA NAOYUKI, BANBARA MUTSUNORI, SOH TAKEHIDE

日本ソフトウェア科学会第35回大会 Aug, 2018
SATソルバーを用いた様相命題論理S4の充足可能性判定

飯野有軌, TAMURA NAOYUKI, BANBARA MUTSUNORI, SOH TAKEHIDE

日本ソフトウェア科学会第35回大会 Aug, 2018
teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming

Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko

The 28th International Conference on Automated Planning and Scheduling, (ICAPS 2018) Jun, 2018