宋 剛秀  SOH Takehide

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

Annals of Operations Research

巻 : -

査読あり / オープンアクセスとしている / 国際共著/国際学会である

KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-17H01790, KAKENHI-PROJECT-15K00099

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

Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017)

巻 : 10416 ページ : 596-614

査読あり / 国際共著/国際学会である

KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-15K00099

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

コンピュータソフトウェア

巻 : 34(1) ページ : 67-80

査読あり / オープンアクセスとしている

KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803

番原 睦則, 井上 克巳, ベンジャミン カウフマン, トルステン シャウブ, 宋 剛秀, 田村 直之, フィリップ ワンコ

第29回RAMPシンポジウム論文集

巻 : - ページ : 73-88

国際共著/国際学会である

Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura

Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)

巻 : 10377 ページ : 265-278

査読あり / 国際共著/国際学会である

KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-15K00099

Takehide Soh, Mutsunori Banbara, Naoyuki Tamura

International Journal on Artificial Intelligence Tools

巻 : 26(1)

査読あり / オープンアクセスとしている

KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-15K00099

番原睦則, 井上克巳, ベンジャミン カウフマン, トルステン シャウブ, 宋剛秀, 田村直之, フィリップ ワンコ

第29回RAMPシンポジウム論文集

巻 : - ページ : 73-88

国際共著/国際学会である

番原睦則, 井上克巳, ベンジャミン カウフマン, トルステン シャウブ, 宋剛秀, 田村直之, フィリップ ワンコ

第29回RAMPシンポジウム論文集

巻 : - ページ : 73-88

国際共著/国際学会である

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

情報処理

巻 : 57(8)

査読あり

迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳

コンピュータソフトウェア,

巻 : 33(4) ページ : 16-29

査読あり / オープンアクセスとしている

KAKENHI-PROJECT-26330248, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803

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

Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)

巻 : -

オープンアクセスとしている / 国際共著/国際学会である / 査読あり

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

情報処理

巻 : 57(8) ページ : 710-715

査読あり

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

Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)

巻 : － ページ : 13-32

査読あり / オープンアクセスとしている / 謝辞記載あり / 国際共著/国際学会である

Takahisa Toda, Takehide Soh

Journal of Experimental Algorithmics

巻 : 21(1) ページ : 1-44

査読あり / オープンアクセスとしている / 謝辞記載あり

KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-26870011, KAKENHI-PROJECT-16H02803

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

情報処理

巻 : 57(8)

査読あり

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

Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)

巻 : なし

オープンアクセスとしている / 謝辞記載あり / 国際共著/国際学会である / 査読あり

Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Matthias Weise

Proceedings of the 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2015)

巻 : LNAI9345 ページ : 112-126

査読あり / 国際共著/国際学会である

KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-25730042

Takehide Soh, Mutsunori Banbara, and Naoyuki Tamura

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015, SAT and CSP track)

巻 : - ページ : 421-428

査読あり

則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳

コンピュータソフトウェア

巻 : 31 号 : 1 ページ : 116-130

日本ソフトウェア科学会

02896540

日本語

査読あり

KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042

Takehide Soh, Daniel Le Berre, Stephanie Roussel, Mutsunori Banbara, Naoyuki Tamura

Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014)

巻 : Vol.8761 ページ : 684-693

査読あり / 謝辞記載あり

KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042

Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Matthias Weise

Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)

巻 : なし ページ : 33-48

査読あり

Takehide Soh, Naoyuki Tamura, and Mutsunori Banbara

Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)

巻 : なし ページ : 429-436

査読あり

KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042

Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013)

巻 : なし ページ : 1020-1027

査読あり

KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042

Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue and Torsten Schaub

Theory and Practice of Logic Programming

巻 : 13(4-5) ページ : 783-798

査読あり

KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042

Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Matthias Weise

Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)

巻 : なし ページ : 33-48

査読あり

Takehide Soh, Naoyuki Tamura, Mutsunori Banbara

Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013), LNCS, Springer

巻 : 掲載確定(掲載確定)

査読あり

Takehide Soh, Katsumi Inoue, Tomoya Baba, Toyoyuki Takada, Toshihiko Shiroishi

International Journal on Advances in Life Sciences

巻 : 4(3-4) ページ : 154-165

査読あり

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

第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)

華やぎの章 慶山 (山梨県・笛吹市)

2017-03-08

吉玉元和, 寸田智也, 南雄之, 宋剛秀, 番原睦則, 田村 直之

第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)

華やぎの章 慶山 (山梨県・笛吹市)

2017-03-08

宋剛秀, 田村直之

第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)

華やぎの章 慶山 (山梨県・笛吹市)

2017-03-08

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

第58回プログラミング・シンポジウム

ラフォーレ倶楽部伊東温泉湯の庭(静岡県・伊東市)

2017-01-06

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

第58回プログラミング・シンポジウム

ラフォーレ倶楽部伊東温泉湯の庭(静岡県・伊東市)

2017-01-06

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

人工知能学会全国大会(第31回)

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

人工知能学会全国大会(第31回)

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

DAシンポジウム2017

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

DAシンポジウム2017

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

日本ソフトウェア科学会第34回大会

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

第31回人工知能学会全国大会

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

人工知能基本問題研究会(第103回)

湯布院公民館 (大分県・由布市)

2017-03-13

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

第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)

吉玉 元和, 寸田 智也, 南 雄之, 宋 剛秀, 番原 睦則, 田村 直之

第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)

宋 剛秀, 田村 直之

第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)

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

人工知能基本問題研究会(第103回)

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

人工知能学会全国大会(第31回)

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

第58回プログラミング・シンポジウム

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

第58回プログラミング・シンポジウム

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

第58回プログラミング・シンポジウム

ラフォーレ伊東 (静岡県・伊東市)

2017-01-06

吉玉元和, 寸田智也, 南雄之, 宋剛秀, 番原睦則, 田村 直之

第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)

華やぎの章 慶山 (山梨県・笛吹市)

2017-03-08

宋剛秀, 田村直之

第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)

華やぎの章 慶山 (山梨県・笛吹市)

2017-03-08

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

第58回プログラミング・シンポジウム

ラフォーレ伊東 (静岡県・伊東市)

2017-01-06

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

第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)

華やぎの章 慶山 (山梨県・笛吹市)

2017-03-08

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

人工知能基本問題研究会(第103回)

湯布院公民館 (大分県・由布市)

2017-03-13

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

日本ソフトウェア科学会第34回大会

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

人工知能学会全国大会(第31回)

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

日本ソフトウェア科学会第34回大会

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

人工知能学会全国大会(第31回)

寸田智也, 南雄之, 吉玉元和, 宋剛秀

DAシンポジウム2016

ゆのくに天祥 (石川県・加賀市)

2016-09-14

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

日本ソフトウェア科学会第33回大会

東北大学 (宮城県・仙台市)

2016-09-06

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

2016年度 人工知能学会全国大会

北九州国際会議場 (福岡県・北九州市)

2016-06-06

迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知

2016年度 人工知能学会全国大会

北九州国際会議場 (福岡県・北九州市)

2016-06-06

宋剛秀

第57回プログラミング・シンポジウム

ラフォーレ倶楽部伊東温泉湯の庭 (静岡県伊東市猪戸)

2016-01-08

平沼祐人, 山本泰生, 守屋央朗, 宋剛秀, 岩沼宏治

第45回バイオ情報学研究発表会

北陸先端科学技術大学院大学（石川県・能美市）

2016-03-18

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

2016年度 人工知能学会全国大会

北九州国際会議場 (福岡県・北九州市)

2016-06-06

迫 龍哉, 川原 征大, 宋 剛秀, 番原 睦則, 田村 直之, 鍋島 英知

2016年度 人工知能学会全国大会

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

2016年度 人工知能学会全国大会

寸田 智也, 南 雄之, 吉玉 元和, 宋 剛秀

DAシンポジウム2016

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

日本ソフトウェア科学会第33回大会

宋剛秀

第57回プログラミング・シンポジウム

ラフォーレ倶楽部伊東温泉湯の庭（静岡県・伊東市）

2016-01-08

寸田智也, 南雄之, 吉玉元和, 宋剛秀

DAシンポジウム2016

ゆのくに天祥 (石川県・加賀市)

2016-09-14

迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知

2016年度 人工知能学会全国大会

北九州国際会議場 (福岡県・北九州市)

2016-06-06

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

日本ソフトウェア科学会第33回大会

東北大学 (宮城県・仙台市)

2016-09-06

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

第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)

ダイヤモンド瀬戸内マリンホテル(岡山県玉野市渋川)

2016-03-07

迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知

第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)

ダイヤモンド瀬戸内マリンホテル (岡山県玉野市渋川)

2016-03-07

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

人工知能基本問題研究会(第100回)

熊本市民会館 (熊本県熊本市中央区桜町)

2016-03-27

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

人工知能基本問題研究会(第100回)

熊本市民会館（熊本県・熊本市）

2016-03-27

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

第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)

ダイヤモンド瀬戸内マリンホテル（岡山県・玉野市）

2016-03-07

迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知

第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)

ダイヤモンド瀬戸内マリンホテル（岡山県・玉野市）

2016-03-07

迫龍哉, 川原征大, 田村直之, 番原睦則, 宋剛秀, 鍋島英知

情報処理学会システムとLSIの設計技術研究会

山代温泉ゆのくに天祥 (石川県加賀市山代温泉19-49-1)

2015-08-26

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

日本ソフトウェア科学会第32回大会

早稲田大学西早稲田キャンパス(東京都新宿区大久保)

2015-09-09

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

2015年度人工知能学会全国大会(第29回)

公立はこだて未来大学 (北海道函館市亀田中野町)

2015-05-30

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

第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015)

道後プリンスホテル (愛媛県)

2015-03-04

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

人工知能学会 第97回人工知能基本問題研究会

別府国際コンベンションセンター (大分県)

2015-03-22

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

人工知能学会 第97回人工知能基本問題研究会

別府国際コンベンションセンター (大分県)

2015-03-22

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

日本ソフトウェア科学会第32回大会

早稲田大学（東京都・新宿区）

2015-09-08

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

2015年度人工知能学会全国大会

公立はこだて未来大学（北海道・函館市）

2015-05-30

宋剛秀

第9回AIツール入門講座

国立情報学研究所（東京都・千代田区）

2015-12-14

招待講演

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

日本ソフトウェア科学会第32回大会

早稲田大学（東京都・新宿区）

2015-09-08

迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳

日本ソフトウェア科学会第32回大会

早稲田大学（東京都・新宿区）

2015-09-08

宋剛秀, 馬場知哉

日本ソフトウェア科学会第32回大会

早稲田大学（東京都・新宿区）

2015-09-08

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

日本ソフトウェア科学会第32回大会

早稲田大学西早稲田キャンパス(東京都新宿区大久保)

2015-09-09

迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳

日本ソフトウェア科学会第32回大会

早稲田大学西早稲田キャンパス(東京都新宿区大久保)

2015-09-09

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

第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015)

道後プリンスホテル (愛媛県)

2015-03-04

Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub

第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)

阿蘇の司ビラパークホテル

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

第28回人工知能学会全国大会

ひめぎんホール (愛媛県)

2014-05-12

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

日本ソフトウェア科学会第31回大会

名古屋大学 (愛知県)

2014-09-09

宋剛秀, 則武治樹, 番原睦則, 田村直之, 井上克巳

日本ソフトウェア科学会第31回大会

名古屋大学 (愛知県)

2014-09-08

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

情報処理学会DAシンポジウム2014

水明館 (岐阜県)

2014-08-29

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

日本ソフトウェア科学会第31回大会

名古屋大学 (愛知県)

2014-09-09

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

DAシンポジウム2014

水明館 (岐阜県)

2014-08-29

宋剛秀, 則武治樹, 番原睦則, 田村直之, 井上克巳

日本ソフトウェア科学会第31回大会

名古屋大学 (愛知県)

2014-09-08

宋剛秀, Daniel Le Berre, Stéphanie Roussel, 番原睦則, 田村直之

第28回人工知能学会全国大会

ひめぎんホール (愛媛県)

2014-05-12

Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura

The 5th International Workshop on Pragmatics of SAT (PoS 2014)

ウィーン工科大学 (オーストリア)

2014-07-13

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

第28回人工知能学会全国大会

ひめぎんホール (愛媛県)

2014-05-12

Takehide Soh, Daniel Le Berre, Stephanie Roussel, Mutsunori Banbara, Naoyuki Tamura

The 5th International Workshop on Pragmatics of SAT (PoS 2014)

ウィーン工科大学 (オーストリア)

2014-07-13

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

第28回人工知能学会全国大会

ひめぎんホール (愛媛県)

2014-05-12

Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh

The 4th International Workshop on Pragmatics of SAT (PoS 2013)

University of Helsinki, Finland

Takehide Soh, Naoyuki Tamura, Mutsunori Banbara, Daniel Le Berre, and Stephanie Roussel

The 4th International Workshop on Pragmatics of SAT (PoS 2013)

University of Helsinki, Finland

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

日本ソフトウェア科学会第30回大会

東京大学

Naoyuki Tamura, Takehide Soh, Mutsunori Banbara, and Katsumi Inoue

The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013), Combined tool demo and poster session

University of Helsinki, Finland

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

2013年度人工知能学会全国大会

富山国際会議場

宋 剛秀

論理と推論の理論, 実装, 応用に関する合同セミナー

北海道大学

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

第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)

会津若松市(福島県)

2013-03-05

則武治樹,番原睦則、宋剛秀,田村直之,井上克巳

第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)

会津若松市(福島県)

2013-03-05

則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳

日本ソフトウェア科学会第30回大会

東京大学

Takehlde Soh, Funakoshi Taisuke, Naoyuki Tamura, Mutsunori Banhara.

The 2012 CRIL-Nil Collaborative Meeting on Reasoning about Dynamic Constraint Networks

Universite d'Artois(France)

2012-11-23

鈴江美奈,田村直之,番原睦則,宋剛秀,鳩野逸生

日本ソフトウェア科学会第29回大会

法政大学(東京都)

2012-08-24

Naoyuki Tamura, Takehide Soh, Mutsunori Banbara, and Katsumi Inoue

The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)

University of Helsinki, Finland

Takehide Soh, Naoyuki Tamura, Mutsunori Banbara, Daniel Le Berre, and Stéphanie Roussel

The 4th International Workshop on Pragmatics of SAT (PoS 2013)

University of Helsinki, Finland

則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳

日本ソフトウェア科学会第30回大会

東京大学

宋剛秀, 番原睦則, 田村直之, Daniel Le Berre, Stéphanie Roussel

日本ソフトウェア科学会第30回大会

東京大学

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

2013年度人工知能学会全国大会

富山国際会議場

Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub

第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)

阿蘇の司ビラパークホテル

Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh

The 4th International Workshop on Pragmatics of SAT (PoS 2013)

University of Helsinki, Finland