宋剛秀

基本情報

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

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

A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition

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

2019年度人工知能学会全国大会(第33回)論文集 1 - 4 2019年6月
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

Annals of Operations Research 275(1) 3 - 37 2019年4月査読有り
alldifferent制約のブール基数制約への符号化手法の提案とクイーングラフ彩色問題への応用

大野周亮, 番原睦則, 宋剛秀, 田村直之

人工知能学会研究会資料 SIG-FPAI-B803 6 - 11 2019年3月
SAT技術を用いたペトリネットのデッドロック検出手法の提案

寸田智也, 宋剛秀, 番原睦則, 田村直之, 井上克巳

情報処理学会論文誌 59(9) 1749 - 1760 2018年9月査読有り
ブール基数制約を経由した擬似ブール制約のSAT符号化手法

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

コンピュータソフトウェア 35(3) 65 - 78 2018年8月査読有り

SATソルバーの最新動向と利用技術

宋剛秀, 番原睦則, 田村直之, 鍋島英知

コンピュータソフトウェア 35(4) 72 - 92 2018年11月査読有り
SAT型制約プログラミングシステムと周辺技術

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

コンピュータソフトウェア 34(1) 67 - 80 2017年1月査読有り
SATとパズル

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

情報処理 57(8) 710 - 715 2016年7月査読有り
制約充足問題のハイブリッド符号化に向けて

宋剛秀, 佐古田淳史, 番原睦則, 田村直之

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

兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳

人工知能学会全国大会論文集(CD-ROM) 29th ROMBUNNO.2H5-OS-03B-5 2015年

正規制約のSAT符号化とその性能評価

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

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

飯野有軌, 田村直之, 番原睦則, 宋剛秀

日本ソフトウェア科学会第35回大会 2018年8月
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) 2018年6月
SAT型制約ソルバーを用いた3次元ナンバーリンクの解法

寸田智也, 南雄之, 宋剛秀, 田村直之

DAシンポジウム2017 2017年8月情報処理学会システムとLSIの設計技術研究会
解集合プログラミングを用いた多層ナンバーリンクの解法

坡山直樹, 川原征大, 迫龍哉, 宋剛秀, 番原睦則, 田村直之

第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) 2017年3月日本ソフトウェア科学会プログラミング論研究会