SOH TAKEHIDE 宋剛秀

… Alternative Names

SOH Takehide 宋剛秀

Less

Researcher Number	00625121
Other IDs
Affiliation (Current)	2025: 神戸大学, DX・情報統括本部, 准教授
Affiliation (based on the past Project Information) *help	2022 – 2024: 神戸大学, DX・情報統括本部, 准教授 2018 – 2023: 神戸大学, 情報基盤センター, 准教授 2014 – 2018: 神戸大学, 情報基盤センター, 助教 2013 – 2015: 神戸大学, 学内共同利用施設等, 助教 2012: 神戸大学, 情報基盤センター, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Software Except Principal Investigator Basic Section 60050:Software-related / Software / Medium-sized Section 60:Information science, computer engineering, and related fields / Transformative Research Areas, Section (IV) / Software
Keywords	Principal Investigator 制約充足問題 / SAT符号化 / 制約プログラミング / SATソルバー / ハイブリッド符号化 / 制約最適化問題 / SATソルバー / CSP (制約充足問題) / SAT (充足可能性判定問題) / MDD … More / 情報システム / 対数符号化 / 順序符号化 / フランス / 推論技術 / ハミルトン閉路問題 / 動的制約 / SAT技術 / 国際情報交換 / グラフ上の組合せ問題 / システム生物学 / SAT型制約プログラミングシステム / 命題論理 / ドメイン特化言語 / ハミルトン閉路 / Elementary Mode / 代謝パスウェイ … More Except Principal Investigator 制約プログラミング / SATソルバー / 解集合プログラミング / 組合せ遷移 / 時間割問題 / SAT / SAT技術 / 命題論理 / 充足可能性判定問題 / アルゴリズム / 充足可能性問題 / 制約ソルバー / 制約充足問題 / 車両装備仕様問題 / 組合せ最適化問題 / 命題論理の充足可能性判定(SAT) / 巨大近傍探索 / 組合せ最適化 / 配電切替 / 配電網の開閉器切替 / 二分決定グラフ / グラフアルゴリズム / 配電制御 / ゼロサプレス型二分決定グラフ / モデル検査 / ソルバー / 多目的最適化 / 最適化 / 情報システム Less

解空間の形状に着目した組合せ遷移の理論：計算量解析の高精細化とソルバー新技法
- Principal Investigator
  
  伊藤健洋
- Project Period (FY)
  2024 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Tohoku University
Speeding-up SAT-based Constraint Optimization SolversPrincipal Investigator
- Principal Investigator
  
  宋剛秀
- Project Period (FY)
  2023 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kobe University
Research and Development of a New SAT Solving Technologies for Constraint Satisfaction Problems
- Principal Investigator
  
  田村直之
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kobe University
Research and Development on SAT-based Integration of Systematic and Stochastic Search
- Principal Investigator
  
  BANBARA Mutsunori
- Project Period (FY)
  2021 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Nagoya University
Acceleration of SAT-based CSP Solvers using MDDPrincipal Investigator
- Principal Investigator
  
  Soh Takehide
- Project Period (FY)
  2020 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kobe University
Engineering Approach for Expanding Combinatorial Reconfiguration: Toward a General-Purpose Solver Using Power Distribution Systems as a Steppingstone
- Principal Investigator
  
  KAWAHARA Jun
- Project Period (FY)
  2020 – 2022
- Research Category
  
  Grant-in-Aid for Transformative Research Areas (B)
- Review Section
  
  Transformative Research Areas, Section (IV)
- Research Institution
  Kyoto University
Research and Development on Multi-objective Optimization Solver based on Advanced Knowledge Representation and Reasoning Techniques
- Principal Investigator
  
  Banbara Mutsunori
- Project Period (FY)
  2018 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Nagoya University
High Performance SAT-based Constraint Programming System using Hybrid EncodingPrincipal Investigator
- Principal Investigator
  
  Soh Takehide
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Kobe University
Research and Development of a New Constraint Programming System based on SAT
- Principal Investigator
  
  Tamura Naoyuki
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kobe University
Research and Development on Constraint Answer Set Programming Using SAT Encoding
- Principal Investigator
  
  BANBARA Mutsunori
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Kobe University
Research and Development of Constraint Programming Systems for Metabolic Pathway AnalysisPrincipal Investigator
- Principal Investigator
  
  Soh Takehide
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Kobe University
Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques
- Principal Investigator
  
  TAMURA Naoyuki
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kobe University

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 Other

All Journal Article Presentation

[Journal Article] Scalable hard instances for independent set reconfiguration2024
- Author(s)
  Takehide Soh, Takumu Watanabe, Jun Kawahara, Akira Suzuki, Takehiro Ito
- Journal Title
  
  Proc. of 22nd Symposium on Experimental Algorithms (SEA 2024), Leibniz International Proceedings in Informatics
  
  Volume: 301
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PLANNED-20H05794
[Journal Article] CoRe Challenge 2022/2023: Empirical evaluations for independent set reconfiguration problems (Extended Abstract)2024
- Author(s)
  Takehide Soh, Tomoya Tanjo, Yoshio Okamoto, Takehiro Ito
- Journal Title
  
  Proc. of 17th International Symposium on Combinatorial Search (SoCS 2024)
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-20H05794
[Journal Article] ZDD-based algorithmic framework for solving shortest reconfiguration problems2023
- Author(s)
  Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama and Takahisa Toda
- Journal Title
  
  Proceedings of the 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023), Lecture Notes in Computer Science (LNCS)
  
  Volume: 13884 Pages: 1-17
- DOI
  10.1007/978-3-031-33271-5_12
- ISBN
  9783031332708, 9783031332715
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K11666, KAKENHI-PROJECT-19K11814, KAKENHI-PROJECT-22K11910, KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-23K11047, KAKENHI-PROJECT-18K18003, KAKENHI-PLANNED-20H05793, KAKENHI-PLANNED-20H05794
[Journal Article] Solving reconfiguration problems of first-order expressible properties of graph vertices with Boolean satisfiability2023
- Author(s)
  Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama
- Journal Title
  
  Proc. of 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023)
  
  Volume: - Pages: 294-302
- DOI
  10.1109/ictai59109.2023.00050
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11814, KAKENHI-PROJECT-22K11910, KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-23K11047, KAKENHI-PROJECT-20K11666, KAKENHI-PROJECT-18K18003, KAKENHI-PLANNED-20H05793, KAKENHI-PLANNED-20H05794
[Journal Article] SAT-based Method for Finding Attractors in Asynchronous Multi-valued Networks2023
- Author(s)
  Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara and Naoyuki Tamura
- Journal Title
  
  Proceedings of the 14th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023)
  
  Volume: - Pages: 163-174
- DOI
  10.5220/0011675100003414
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11828, KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-20K11748
[Journal Article] SAF: SAT-Based Attractor Finder in?Asynchronous Automata Networks2023
- Author(s)
  Soh Takehide、Magnin Morgan、Le Berre Daniel、Banbara Mutsunori、Tamura Naoyuki
- Journal Title
  
  Proceedings of the 21st International Conference on Computational Methods in Systems Biology (CMSB 2023)
  
  Volume: LNCS 14137 Pages: 175-183
- DOI
  10.1007/978-3-031-42697-1_12
- ISBN
  9783031426964, 9783031426971
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-23K11047, KAKENHI-PROJECT-21K11828, KAKENHI-PLANNED-20H05794
[Journal Article] Hamiltonian Cycle Reconfiguration with Answer Set Programming2023
- Author(s)
  Hirate Takahiro、Banbara Mutsunori、Inoue Katsumi、Lu Xiao-Nan、Nabeshima Hidetomo、Schaub Torsten、Soh Takehide、Tamura Naoyuki
- Journal Title
  
  Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023)
  
  Volume: LNAI 14281 Pages: 262-277
- DOI
  10.1007/978-3-031-43619-2_19
- ISBN
  9783031436185, 9783031436192
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-23K11047, KAKENHI-PROJECT-23K11214, KAKENHI-PROJECT-21K11828, KAKENHI-PLANNED-20H05794, KAKENHI-PLANNED-20H05963
[Journal Article] SAT-based method for finding attractors in asynchronous multi-valued networks2023
- Author(s)
  Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
- Journal Title
  
  Proc. of 16th International Joint Conference on Biomedical Enginnering Systems and Technologies
  
  Volume: hal-03964870
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05794
[Journal Article] Fun-sCOP. XCSP3 Competition 20222022
- Author(s)
  Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura
- Journal Title
  
  In Proceedings of the XCSP3 Competition 2022
  
  Volume: -
- Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11748
[Journal Article] ZDD-based algorithmic framework for solving shortest reconfiguration problems2022
- Author(s)
  Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
- Journal Title
  
  arXiv
  
  Volume: 2207.13959
- Open Access
- Data Source
  KAKENHI-PLANNED-20H05794
[Journal Article] Towards CEGAR-based parallel SAT solving2021
- Author(s)
  Takehide Soh, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
- Journal Title
  
  Proc. of 12th International Workshop of Pragmatics of SAT
  
  Volume: --
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-20H05794
[Journal Article] CEGARと反例の共有を用いたSAT型CSPソルバーの並列化方法の考察2020
- Author(s)
  宋剛秀, 鍋島英知, 番原睦則, 田村直之, 井上克巳
- Journal Title
  
  人工知能学会研究会資料
  
  Volume: SIG-FPAI-B903-02 B5(03) Pages: 6-11
- NAID
  130008061554
- Data Source
  KAKENHI-PROJECT-18K11242
[Journal Article] Satisfiability Testing of Propositional Modal Logic K with Answer Set Programming2020
- Author(s)
  飯野有軌, 田村直之, 宋剛秀, 番原睦則, 井上克巳
- Journal Title
  
  Proceedings of the Annual Conference of JSAI
  
  Volume: JSAI2020 Issue: 0 Pages: 2N5OS17b05-2N5OS17b05
- DOI
  10.11517/pjsai.JSAI2020.0_2N5OS17b05
- NAID
  130007856950
- Language
  Japanese
- Open Access
- Data Source
  KAKENHI-PROJECT-20K11748
[Journal Article] Fun-sCOP2019
- Author(s)
  Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura
- Journal Title
  
  XCSP3 Competition 2019 Solver Description
  
  Volume: －
- Data Source
  KAKENHI-PROJECT-18K11242
[Journal Article] A SAT Encoding of Pseudo-Boolean Constraints via Boolean Cardinality Constraints2018
- Author(s)
  南雄之, 宋剛秀, 番原睦則, 田村直之
- Journal Title
  
  Computer Software
  
  Volume: 35 Issue: 3 Pages: 3_65-3_78
- DOI
  10.11309/jssst.35.3_65
- NAID
  130007487601
- ISSN
  0289-6540
- Year and Date
  2018-07-25
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11242, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-16K16036
[Journal Article] sCOP: SAT-based Constraint Programming System2018
- Author(s)
  Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
- Journal Title
  
  Proceedings of XCSP3 Competition 2018
  
  Volume: なし Pages: 93-94
- Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] SATソルバーの最新動向と利用技術2018
- Author(s)
  宋剛秀, 番原睦則, 田村直之, 鍋島英知
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 35(4) Pages: 72-92
- NAID
  130007552525
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] SAT技術を用いたペトリネットのデッドロック検出手法の提案2018
- Author(s)
  寸田智也, 宋剛秀, 番原睦則, 田村直之, 井上克巳
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 59(9) Pages: 1749-1760
- NAID
  130007425532
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K16036
[Journal Article] Recent Advances in SAT Solvers and their Utilization Technologies.2018
- Author(s)
  宋剛秀、番原睦則、田村直之、鍋島英知
- Journal Title
  
  Computer Software
  
  Volume: 35 Issue: 4 Pages: 72-92
- DOI
  10.11309/jssst.35.72
- NAID
  130007552525
- ISSN
  0289-6540
- Year and Date
  2018-10-25
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00300, KAKENHI-PROJECT-18K11242
[Journal Article] sCOP: SAT-based Constraint Programming System2018
- Author(s)
  Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
- Journal Title
  
  Proceedings of XCSP3 Competition 2018
  
  Volume: なし Pages: 93-94
- Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16036
[Journal Article] SAT技術を用いたペトリネットのデッドロック検出手法の提案2018
- Author(s)
  寸田智也, 宋剛秀, 番原睦則, 田村直之, 井上克巳
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 59(9) Pages: 1749-1760
- NAID
  120006799300
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2018
- Author(s)
  Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
- Journal Title
  
  Annals of Operations Research
  
  Volume: - Issue: 1 Pages: 3-37
- DOI
  10.1007/s10479-018-2757-7
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-17H01790, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-18K11242, KAKENHI-PROJECT-17H00763
[Journal Article] SATソルバーの最新動向と利用技術2018
- Author(s)
  宋剛秀, 番原睦則, 田村直之, 鍋島英知
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 35(4) Pages: 72-92
- NAID
  130007552525
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K16036
[Journal Article] SAT技術を用いたペトリネットのデッドロック検出手法の提案2018
- Author(s)
  寸田智也, 宋剛秀, 番原睦則, 田村直之, 井上克巳
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 59(9) Pages: 1749-1760
- NAID
  130007425532
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11242
[Journal Article] Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation2017
- Author(s)
  Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre
- Journal Title
  
  Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017)
  
  Volume: 10416 Pages: 596-614
- DOI
  10.1007/978-3-319-66158-2_38
- ISBN
  9783319661575, 9783319661582
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-15K00099
[Journal Article] 解集合プログラミングによるカリキュラムベース・コース時間割編成2017
- Author(s)
  番原睦則, 井上克巳, ベンジャミンカウフマン, トルステンシャウブ, 宋剛秀, 田村直之, フィリップワンコ
- Journal Title
  
  第29回RAMPシンポジウム論文集
  
  Volume: - Pages: 73-88
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16036
[Journal Article] SAT-based Constraint Programming Systems and Related Technologies2017
- Author(s)
  宋剛秀, 番原睦則, 田村直之
- Journal Title
  
  Computer Software
  
  Volume: 34 Issue: 1 Pages: 1_67-1_80
- DOI
  10.11309/jssst.34.1_67
- NAID
  130006855237
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803
[Journal Article] Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings2017
- Author(s)
  Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
- Journal Title
  
  International Journal on Artificial Intelligence Tools
  
  Volume: 26(1) Issue: 01 Pages: 1760005-1760005
- DOI
  10.1142/s0218213017600053
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-15K00099
[Journal Article] catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming2017
- Author(s)
  Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura
- Journal Title
  
  Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)
  
  Volume: 10377 Pages: 265-278
- DOI
  10.1007/978-3-319-61660-5_24
- ISBN
  9783319616599, 9783319616605
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-17H00763
[Journal Article] 解集合プログラミングによるカリキュラムベース・コース時間割編成2017
- Author(s)
  番原睦則, 井上克巳, ベンジャミンカウフマン, トルステンシャウブ, 宋剛秀, 田村直之, フィリップワンコ
- Journal Title
  
  第29回RAMPシンポジウム論文集
  
  Volume: - Pages: 73-88
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] 解集合プログラミングによるカリキュラムベース・コース時間割編成2017
- Author(s)
  番原睦則, 井上克巳, ベンジャミンカウフマン, トルステンシャウブ, 宋剛秀, 田村直之, フィリップワンコ
- Journal Title
  
  第29回RAMPシンポジウム論文集
  
  Volume: - Pages: 73-88
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00099
[Journal Article] SATとパズル2016
- Author(s)
  田村直之, 宋剛秀, 番原睦則
- Journal Title
  
  情報処理
  
  Volume: 57(8) Pages: 710-715
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00099
[Journal Article] Implementing Efficient All Solutions SAT Solvers2016
- Author(s)
  Takahisa Toda, Takehide Soh
- Journal Title
  
  Journal of Experimental Algorithmics
  
  Volume: 21(1) Pages: 1-44
- DOI
  10.1145/2975585
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-26870011, KAKENHI-PROJECT-16H02803
[Journal Article] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2016
- Author(s)
  Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Philipp Wanko
- Journal Title
  
  Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)
  
  Volume: -
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2016
- Author(s)
  Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Philipp Wanko
- Journal Title
  
  Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)
  
  Volume: － Pages: 13-32
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00099
[Journal Article] An Incremental SAT Solving Library and its Applications2016
- Author(s)
  迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳
- Journal Title
  
  Computer Software
  
  Volume: 33 Issue: 4 Pages: 4_16-4_29
- DOI
  10.11309/jssst.33.4_16
- NAID
  130005290581
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26330248, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803
[Journal Article] SATとパズル2016
- Author(s)
  田村直之, 宋剛秀, 番原睦則
- Journal Title
  
  情報処理
  
  Volume: 57(8)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2016
- Author(s)
  Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Philipp Wanko
- Journal Title
  
  Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)
  
  Volume: なし
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16036
[Journal Article] SATとパズル2016
- Author(s)
  田村直之, 宋剛秀, 番原睦則
- Journal Title
  
  情報処理
  
  Volume: 57(8)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K16036
[Journal Article] A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings2015
- Author(s)
  Takehide Soh, Mutsunori Banbara, and Naoyuki Tamura
- Journal Title
  
  Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015, SAT and CSP track)
  
  Volume: - Pages: 421-428
- DOI
  10.1109/ictai.2015.70
- NAID
  40020657481
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-25730042
[Journal Article] aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming2015
- Author(s)
  Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Matthias Weise
- Journal Title
  
  Proceedings of the 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2015)
  
  Volume: LNAI9345 Pages: 112-126
- DOI
  10.1007/978-3-319-23264-5_10
- ISBN
  9783319232638, 9783319232645
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-25730042
[Journal Article] Constraint Modeling and SAT Encoding of the Packing Array Problem2014
- Author(s)
  則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
- Journal Title
  
  Computer Software
  
  Volume: 31 Issue: 1 Pages: 1_116-1_130
- DOI
  10.11309/jssst.31.1_116
- NAID
  130004549327
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
[Journal Article] Incremental SAT-based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem2014
- Author(s)
  Takehide Soh, Daniel Le Berre, Stephanie Roussel, Mutsunori Banbara, Naoyuki Tamura
- Journal Title
  
  Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014)
  
  Volume: Vol.8761 Pages: 684-693
- DOI
  10.1007/978-3-319-11558-0_52
- ISBN
  9783319115573, 9783319115580
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
[Journal Article] Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming2013
- Author(s)
  Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Matthias Weise
- Journal Title
  
  Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)
  
  Volume: なし Pages: 33-48
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25730042
[Journal Article] Scarab : A Rapid Prototyping Tool for SAT-based Constraint Programming Systems (Tool Paper)2013
- Author(s)
  Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
- Journal Title
  
  Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013), LNCS, Springer
  
  Volume: 掲載確定(掲載確定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] PBSugar: Compiling Pseudo-Boolean Constraints to SAT with Order Encoding2013
- Author(s)
  Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh
- Journal Title
  
  Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013)
  
  Volume: なし Pages: 1020-1027
- DOI
  10.1109/ictai.2013.153
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
[Journal Article] Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming2013
- Author(s)
  Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Matthias Weise
- Journal Title
  
  Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)
  
  Volume: なし Pages: 33-48
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Answer Set Programming as a Modeling Language for Course Timetabling2013
- Author(s)
  Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue and Torsten Schaub
- Journal Title
  
  Theory and Practice of Logic Programming
  
  Volume: 13(4-5) Issue: 4-5 Pages: 783-798
- DOI
  10.1017/s1471068413000495
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
[Journal Article] Scarab: A Rapid Prototyping Tool for SAT-based Constraint Programming Systems2013
- Author(s)
  Takehide Soh, Naoyuki Tamura, and Mutsunori Banbara
- Journal Title
  
  Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
  
  Volume: なし Pages: 429-436
- DOI
  10.1007/978-3-642-39071-5_34
- ISBN
  9783642390708, 9783642390715
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
[Journal Article] Evaluation of the Prediction of Gene Knockout Effects by Minimal Pathway Enumeration2012
- Author(s)
  Takehide Soh, Katsumi Inoue, Tomoya Baba, Toyoyuki Takada, Toshihiko Shiroishi
- Journal Title
  
  International Journal on Advances in Life Sciences
  
  Volume: 4(3-4) Pages: 154-165
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] 解集合プログラミングを用いた支配集合遷移2024
- Author(s)
  加藤聖人, 宋剛秀, 田村直之, 番原睦則
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装2024
- Author(s)
  杉森唯瑠未, 宋剛秀, 田村直之, 井上克巳, 鍋島英知, 番原睦則
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) ポスター発表
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] 解集合プログラミングを用いた支配集合遷移2024
- Author(s)
  加藤聖人, 宋剛秀, 田村直之, 番原睦則
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装2024
- Author(s)
  杉森唯瑠未, 宋剛秀, 田村直之, 井上克巳, 鍋島英知, 番原睦則
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
- Data Source
  KAKENHI-PROJECT-23K11047
[Presentation] 解集合プログラミングを用いた支配集合遷移2024
- Author(s)
  加藤聖人, 宋剛秀, 田村直之, 番原睦則
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
- Data Source
  KAKENHI-PROJECT-23K11047
[Presentation] heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装2024
- Author(s)
  杉森唯瑠未, 宋剛秀, 田村直之, 井上克巳, 鍋島英知, 番原睦則
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] 解集合プログラミングを用いたハミルトン閉路遷移問題の解法.2023
- Author(s)
  平手貴大, 番原睦則, 井上克巳, 盧暁南, 鍋島英知, 宋剛秀, 田村直之.
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
- Data Source
  KAKENHI-PROJECT-20K11748
[Presentation] ZDD-based algorithmic framework for solving shortest reconfiguration problems2023
- Author(s)
  Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
- Organizer
  20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] SATソルバーとその応用について2023
- Author(s)
  宋剛秀
- Organizer
  電子情報通信学会ソサエティ大会
- Invited
- Data Source
  KAKENHI-PROJECT-23K11047
[Presentation] 最大独立集合問題のSAT技術を用いた解法に関する研究2023
- Author(s)
  大森嶺, 宋剛秀, 田村直之
- Organizer
  2023年度人工知能学会全国大会（第37回）
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] ZDDを用いた疑似ブール制約のSAT符号化2023
- Author(s)
  大橋瞭雅, 宋剛秀
- Organizer
  題126回人工知能基本問題研究会
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] 解集合プログラミングを用いたハミルトン閉路遷移問題の解法2023
- Author(s)
  平手貴大, 番原睦則, 井上克巳, 盧暁南, 鍋島英知, 宋剛秀, 田村直之
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] Solving reconfiguration problems of first-order expressible properties of graph vertices with Boolean satisfiability2023
- Author(s)
  Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama
- Organizer
  35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] 解集合プログラミングを用いた支配集合遷移問題の解法に関する考察2023
- Author(s)
  加藤聖人, 宋剛秀, 田村直之, 番原睦則
- Organizer
  2023年度人工知能学会全国大会 (第37回)
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] ZDDを用いた疑似ブール制約のSAT符号化2023
- Author(s)
  大橋瞭雅, 宋剛秀
- Organizer
  人工知能基本問題研究会
- Data Source
  KAKENHI-PROJECT-23K11047
[Presentation] 解集合プログラミングを用いた支配集合遷移問題の解法に関する考察2023
- Author(s)
  加藤聖人, 宋剛秀, 田村直之, 番原睦則
- Organizer
  2023年度人工知能学会全国大会 (第37回)
- Data Source
  KAKENHI-PROJECT-23K11047
[Presentation] SATソルバーとその応用について2023
- Author(s)
  宋剛秀
- Organizer
  電子情報通信学会ソサエティ大会
- Invited
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] 最大独立集合問題のSAT技術を用いた解法に関する研究2023
- Author(s)
  大森嶺, 宋剛秀, 田村直之
- Organizer
  2023年度人工知能学会全国大会(第37回)
- Data Source
  KAKENHI-PROJECT-23K11047
[Presentation] SATソルバーと利用技術2023
- Author(s)
  宋剛秀
- Organizer
  2023年度電子情報通信学会ソサイエティ大会
- Invited
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] 最大独立集合問題のSAT技術を用いた解法に関する研究2023
- Author(s)
  大森嶺, 宋剛秀, 田村直之
- Organizer
  2023年度人工知能学会全国大会(第37回)
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] 解集合プログラミングを用いた支配集合遷移問題の解法に関する考察2023
- Author(s)
  加藤聖人, 宋剛秀, 田村直之, 番原睦則
- Organizer
  2023年度人工知能学会全国大会(第37回)
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] 解集合プログラミングを用いたハミルトン閉路遷移問題の解法2023
- Author(s)
  平手貴大, 番原睦則, 井上克巳, 盧暁南, 鍋島英知, 宋剛秀, 田村直之
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] チャネリング制約を用いた alldifferent 制約の SAT 符号化2022
- Author(s)
  小菅脩司, 宋剛秀, 田村直之, 番原睦則
- Organizer
  情報処理学会第84回全国大会
- Data Source
  KAKENHI-PROJECT-20K11748
[Presentation] チャネリング制約を用いたalldifferent 制約の SAT 符号化2022
- Author(s)
  小菅脩司, 宋剛秀, 田村直之, 番原睦則
- Organizer
  情報処理学会第84回全国大会 1L-03
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] ZDDを用いた組合せ遷移ソルバー2022
- Author(s)
  伊藤健洋, 川原純, 中畑裕, 宋剛秀, 鈴木顕, 照山順一, 戸田貴久
- Organizer
  日本オペレーションズ・リサーチ学会 2022年秋季研究発表会
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] 解集合プログラミングを用いた優先度付き巨大近傍探索の実装と評価2022
- Author(s)
  桑原和也, 宋剛秀, 田村直之, 番原睦則
- Organizer
  情報処理学会第84回全国大会
- Data Source
  KAKENHI-PROJECT-20K11748
[Presentation] A ZDD-based solver for combinatorial reconfiguration problems2022
- Author(s)
  Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
- Organizer
  4th Combinatorial Reconfiguration Workshop
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] ZDDを用いた組合せ遷移ソルバーについての考察2022
- Author(s)
  伊藤健洋, 川原純, 宋剛秀, 鈴木顕, 照山順一, 戸田貴久
- Organizer
  2021年度冬のLAシンポジウム, 京都大学数理解析研究所RIMS共同研究（公開型）, 情報社会を支える計算機科学の基礎理論
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] 解集合プログラミングを用いた優先度付き巨大近傍探索の実装と評価2022
- Author(s)
  桑原和也, 宋剛秀, 田村直之, 番原睦則
- Organizer
  情報処理学会第84回全国大会 1L-04
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] 有界モデル検査による独立集合遷移問題の解法に関する考察（On solving independent set reconfiguration problems with bounded model checking）2022
- Author(s)
  戸田貴久, 伊藤健洋, 川原純, 宋剛秀, 鈴木顕, 照山順一
- Organizer
  第186回アルゴリズム研究発表会
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] Towards CEGAR-based parallel SAT solving2021
- Author(s)
  Takehide Soh, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
- Organizer
  12th International Workshop of Pragmatics of SAT (a workshop of SAT 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] Towards CEGAR-based Parallel SAT Solving2021
- Author(s)
  Takehide Soh, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura,and Katsumi Inoue
- Organizer
  Pragmatics of SAT (PoS 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] CDCL型SATソルバーの内部動作可視化ツール2021
- Author(s)
  堀岡真未, 宋剛秀, 田村直之
- Organizer
  日本ソフトウェア科学会第38回大会
- Data Source
  KAKENHI-PROJECT-20K11748
[Presentation] Towards CEGAR-based Parallel SAT Solving2021
- Author(s)
  Takehide Soh, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura and Katsumi Inoue
- Organizer
  The Pragmatics of SAT Workshop 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11748
[Presentation] 解集合プログラミングを用いたハミルトン閉路問題の解法に関する考察2021
- Author(s)
  平手貴大, 宋剛秀, 田村直之, 番原睦則
- Organizer
  日本ソフトウェア科学会第38回大会 34-L
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] ライフゲームを逆向きに動かす2021
- Author(s)
  足立啓一, 宋剛秀, 田村直之
- Organizer
  日本ソフトウェア科学会第38回大会
- Data Source
  KAKENHI-PROJECT-20K11748
[Presentation] 解集合プログラミングによる様相命題論理Kの充足可能性判定2020
- Author(s)
  飯野有軌, 田村直之, 宋剛秀, 番原睦則, 井上克巳
- Organizer
  人工知能学会全国大会(第34回)
- Data Source
  KAKENHI-PROJECT-18K11242
[Presentation] SATソルバーを用いた一層平面配置配線問題の解法に関する考察2020
- Author(s)
  三嶋哲平, 宋剛秀, 田村直之
- Organizer
  日本ソフトウェア科学会第37回大会
- Data Source
  KAKENHI-PROJECT-20K11748
[Presentation] 解集合ソルバーを用いた様相命題論理の充足可能性判定 (ポスター)2020
- Author(s)
  飯野有軌, 田村直之, 宋剛秀, 番原睦則, 井上克巳
- Organizer
  第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020)
- Data Source
  KAKENHI-PROJECT-18K11242
[Presentation] SATソルバーを用いた一層平面配置配線問題の解法に関する考察2020
- Author(s)
  三嶋哲平, 宋剛秀, 田村直之
- Organizer
  日本ソフトウェア科学会第37回大会
- Data Source
  KAKENHI-PROJECT-18K11242
[Presentation] 正規制約に対するSAT符号化手法の提案と評価 (ポスター)2020
- Author(s)
  生田哲也, 田村直之, 宋剛秀, 番原睦則
- Organizer
  第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020)
- Data Source
  KAKENHI-PROJECT-18K11242
[Presentation] alldifferent制約のブール基数制約への符号化手法の提案とクイーングラフ彩色問題への応用2019
- Author(s)
  大野周亮, 番原睦則, 宋剛秀, 田村直之
- Organizer
  人工知能基本問題研究会(第109回)
- Data Source
  KAKENHI-PROJECT-18K11242
[Presentation] alldifferent制約のブール基数制約への符号化手法の提案とクイーングラフ彩色問題への応用2019
- Author(s)
  大野周亮, 番原睦則, 宋剛秀, 田村直之
- Organizer
  人工知能学会第109回人工知能基本問題研究会
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] alldifferent制約のブール基数制約への符号化手法の提案とクイーングラフ彩色問題への応用2019
- Author(s)
  大野周亮, 番原睦則, 宋剛秀, 田村直之
- Organizer
  人工知能学会第109回人工知能基本問題研究会
- Data Source
  KAKENHI-PROJECT-16K16036
[Presentation] A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition2019
- Author(s)
  Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
- Organizer
  2019年度人工知能学会全国大会(第33回)
- Data Source
  KAKENHI-PROJECT-18K11242
[Presentation] 正規制約のSAT符号化とその性能評価2018
- Author(s)
  生田哲也, 田村直之, 番原睦則, 宋剛秀
- Organizer
  日本ソフトウェア科学会第35回大会
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] 正規制約のSAT符号化とその性能評価2018
- Author(s)
  生田哲也, 田村直之, 番原睦則, 宋剛秀
- Organizer
  日本ソフトウェア科学会第35回大会
- Data Source
  KAKENHI-PROJECT-16K16036
[Presentation] sCOP: SAT-based Constraint Programming System2018
- Author(s)
  Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
- Organizer
  XCSP3 Competition 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11242
[Presentation] SATソルバーを用いた様相命題論理S4の充足可能性判定2018
- Author(s)
  飯野有軌, 田村直之, 番原睦則, 宋剛秀
- Organizer
  日本ソフトウェア科学会第35回大会
- Data Source
  KAKENHI-PROJECT-16K16036
[Presentation] SATソルバーを用いた様相命題論理S4の充足可能性判定2018
- Author(s)
  飯野有軌, 田村直之, 番原睦則, 宋剛秀
- Organizer
  日本ソフトウェア科学会第35回大会
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2018
- Author(s)
  Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
- Organizer
  The 28th International Conference on Automated Planning and Scheduling (ICAPS 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2018
- Author(s)
  Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
- Organizer
  The 28th International Conference on Automated Planning and Scheduling (ICAPS 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16036
[Presentation] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2018
- Author(s)
  Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Philipp Wanko
- Organizer
  The 28th International Conference on Automated Planning and Scheduling (ICAPS 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11242
[Presentation] 解集合プログラミングを用いた多層ナンバーリンクの解法2017
- Author(s)
  坡山直樹, 川原征大, 迫龍哉, 宋剛秀, 番原睦則, 田村直之
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
- Place of Presentation
  華やぎの章慶山 (山梨県・笛吹市)
- Year and Date
  2017-03-08
- Data Source
  KAKENHI-PROJECT-16K16036
[Presentation] SAT型制約ソルバーを用いた3次元ナンバーリンクの解法2017
- Author(s)
  寸田智也, 南雄之, 宋剛秀, 田村直之
- Organizer
  DAシンポジウム2017
- Data Source
  KAKENHI-PROJECT-16K16036
[Presentation] ブール基数制約を経由した擬似ブール制約のSAT符号化法2017
- Author(s)
  南雄之, 宋剛秀, 番原睦則, 田村直之
- Organizer
  人工知能基本問題研究会(第103回)
- Place of Presentation
  湯布院公民館 (大分県・由布市)
- Year and Date
  2017-03-13
- Data Source
  KAKENHI-PROJECT-16K16036
[Presentation] Diet-Sugar: ハイブリッドSAT符号化を実装したSAT型制約ソルバー2017
- Author(s)
  宋剛秀，番原睦則，田村直之
- Organizer
  第58回プログラミング・シンポジウム
- Place of Presentation
  ラフォーレ倶楽部伊東温泉湯の庭(静岡県・伊東市)
- Year and Date
  2017-01-06
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] 制約充足問題のASP符号化に関する一考察2017
- Author(s)
  坡山直樹, 番原睦則, 宋剛秀, 田村直之
- Organizer
  第31回人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] Diet-Sugar: ハイブリッドSAT符号化を実装したSAT型制約ソルバー2017
- Author(s)
  宋剛秀，番原睦則，田村直之
- Organizer
  第58回プログラミング・シンポジウム
- Place of Presentation
  ラフォーレ伊東 (静岡県・伊東市)
- Year and Date
  2017-01-06
- Data Source
  KAKENHI-PROJECT-16K16036
[Presentation] ブール基数制約を経由した擬似ブール制約のSAT符号化手法2017
- Author(s)
  南雄之, 宋剛秀, 番原睦則, 田村直之
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-16K16036
[Presentation] 制約充足問題のASP符号化に関する一考察2017
- Author(s)
  坡山直樹, 番原睦則, 宋剛秀, 田村直之
- Organizer
  人工知能学会全国大会(第31回)
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] 解集合プログラミングを用いた多層ナンバーリンクの解法2017
- Author(s)
  坡山直樹, 川原征大, 迫龍哉, 宋剛秀, 番原睦則, 田村直之
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
- Place of Presentation
  華やぎの章慶山 (山梨県・笛吹市)
- Year and Date
  2017-03-08
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] SATソルバーの使い方 ―問題をSATに符号化する方法―2017
- Author(s)
  田村直之, 宋剛秀, 番原睦則
- Organizer
  第58回プログラミング・シンポジウム
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] ブール基数制約を経由した擬似ブール制約のSAT符号化法2017
- Author(s)
  南雄之, 宋剛秀, 番原睦則, 田村直之
- Organizer
  人工知能基本問題研究会(第103回)
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] SATソルバーの最新動向と利用技術 (PPL2017発表賞（一般の部）受賞)2017
- Author(s)
  宋剛秀, 田村直之
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] 制約充足問題のASP符号化に関する一考察2017
- Author(s)
  坡山直樹, 番原睦則, 宋剛秀, 田村直之
- Organizer
  人工知能学会全国大会(第31回)
- Data Source
  KAKENHI-PROJECT-16K16036
[Presentation] SAT型制約ソルバーを用いた3次元ナンバーリンクの解法2017
- Author(s)
  寸田智也, 南雄之, 宋剛秀, 田村直之
- Organizer
  DAシンポジウム2017
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] SATソルバーの使い方 ―問題をSATに符号化する方法―2017
- Author(s)
  田村直之, 宋剛秀, 番原睦則
- Organizer
  第58回プログラミング・シンポジウム
- Place of Presentation
  ラフォーレ伊東 (静岡県・伊東市)
- Year and Date
  2017-01-06
- Data Source
  KAKENHI-PROJECT-16K16036
[Presentation] SugarTracer: SAT型制約ソルバーSugarのトレースツール2017
- Author(s)
  吉玉元和, 寸田智也, 南雄之, 宋剛秀, 番原睦則, 田村直之
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
- Place of Presentation
  華やぎの章慶山 (山梨県・笛吹市)
- Year and Date
  2017-03-08
- Data Source
  KAKENHI-PROJECT-16K16036
[Presentation] SAT技術を用いたペトリネットのデッドロック検出手法の提案2017
- Author(s)
  寸田智也, 宋剛秀, 番原睦則, 田村直之
- Organizer
  人工知能学会全国大会(第31回)
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] SAT技術を用いたペトリネットのデッドロック検出手法の提案2017
- Author(s)
  寸田智也, 宋剛秀, 番原睦則, 田村直之
- Organizer
  人工知能学会全国大会(第31回)
- Data Source
  KAKENHI-PROJECT-16K16036
[Presentation] SAT技術を用いたペトリネットのデッドロック検出手法の提案2017
- Author(s)
  寸田智也, 宋剛秀, 番原睦則, 田村直之
- Organizer
  人工知能学会全国大会(第31回)
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] SATソルバーの使い方 ―問題をSATに符号化する方法―2017
- Author(s)
  田村直之, 宋剛秀, 番原睦則
- Organizer
  第58回プログラミング・シンポジウム
- Place of Presentation
  ラフォーレ倶楽部伊東温泉湯の庭(静岡県・伊東市)
- Year and Date
  2017-01-06
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] 解集合プログラミングを用いた多層ナンバーリンクの解法2017
- Author(s)
  坡山直樹, 川原征大, 迫龍哉, 宋剛秀, 番原睦則, 田村直之
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] SugarTracer: SAT型制約ソルバーSugarのトレースツール2017
- Author(s)
  吉玉元和, 寸田智也, 南雄之, 宋剛秀, 番原睦則, 田村直之
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
- Place of Presentation
  華やぎの章慶山 (山梨県・笛吹市)
- Year and Date
  2017-03-08
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] Diet-Sugar: ハイブリッドSAT符号化を実装したSAT型制約ソルバー2017
- Author(s)
  宋剛秀，番原睦則，田村直之
- Organizer
  第58回プログラミング・シンポジウム
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] SugarTracer: SAT型制約ソルバーSugarのトレースツール2017
- Author(s)
  吉玉元和, 寸田智也, 南雄之, 宋剛秀, 番原睦則, 田村直之
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] ブール基数制約を経由した擬似ブール制約のSAT符号化法2017
- Author(s)
  南雄之, 宋剛秀, 番原睦則, 田村直之
- Organizer
  人工知能基本問題研究会(第103回)
- Place of Presentation
  湯布院公民館 (大分県・由布市)
- Year and Date
  2017-03-13
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] ブール基数制約を経由した擬似ブール制約のSAT符号化手法2017
- Author(s)
  南雄之, 宋剛秀, 番原睦則, 田村直之
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] ブール基数制約を経由した擬似ブール制約のSAT符号化手法2017
- Author(s)
  南雄之, 宋剛秀, 番原睦則, 田村直之
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] SATソルバーの最新動向と利用技術 (PPL2017発表賞（一般の部）受賞)2017
- Author(s)
  宋剛秀, 田村直之
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
- Place of Presentation
  華やぎの章慶山 (山梨県・笛吹市)
- Year and Date
  2017-03-08
- Data Source
  KAKENHI-PROJECT-16K16036
[Presentation] SATソルバーの最新動向と利用技術2017
- Author(s)
  宋剛秀, 田村直之
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
- Place of Presentation
  華やぎの章慶山 (山梨県・笛吹市)
- Year and Date
  2017-03-08
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] SATソルバーを用いた部分グラフ探索のための制約モデル2016
- Author(s)
  川原征大, 宋剛秀, 番原睦則, 田村直之
- Organizer
  2016年度人工知能学会全国大会
- Place of Presentation
  北九州国際会議場 (福岡県・北九州市)
- Year and Date
  2016-06-06
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] 分子ネットワーク上の状態推定とその可視化による知識発見支援2016
- Author(s)
  平沼祐人, 山本泰生, 守屋央朗, 宋剛秀, 岩沼宏治
- Organizer
  第45回バイオ情報学研究発表会
- Place of Presentation
  北陸先端科学技術大学院大学（石川県・能美市）
- Year and Date
  2016-03-18
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] SAT型制約ソルバーを用いた多層ナンバーリンクの解法2016
- Author(s)
  寸田智也, 南雄之, 吉玉元和, 宋剛秀
- Organizer
  DAシンポジウム2016
- Place of Presentation
  ゆのくに天祥 (石川県・加賀市)
- Year and Date
  2016-09-14
- Data Source
  KAKENHI-PROJECT-16K16036
[Presentation] SAT型制約ソルバーによるナンバーリンクの解法とその評価 (全国大会優秀賞受賞)2016
- Author(s)
  迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知
- Organizer
  2016年度人工知能学会全国大会
- Place of Presentation
  北九州国際会議場 (福岡県・北九州市)
- Year and Date
  2016-06-06
- Data Source
  KAKENHI-PROJECT-16K16036
[Presentation] インクリメンタルSAT解法を用いた高速ナンバーリンクソルバー2016
- Author(s)
  迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
- Place of Presentation
  ダイヤモンド瀬戸内マリンホテル（岡山県・玉野市）
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] SAT型制約ソルバーによるナンバーリンクの解法とその評価 (全国大会優秀賞受賞)2016
- Author(s)
  迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知
- Organizer
  2016年度人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] SATソルバーを用いた制約プログラミングシステムとその応用2016
- Author(s)
  宋剛秀
- Organizer
  第57回プログラミング・シンポジウム
- Place of Presentation
  ラフォーレ倶楽部伊東温泉湯の庭 (静岡県伊東市猪戸)
- Year and Date
  2016-01-08
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] クラウド上のソフトウェア要素最適配置問題の解法2016
- Author(s)
  田村直之, 井上克巳, 鍋島英知, 番原睦則, 宋剛秀
- Organizer
  人工知能基本問題研究会(第100回)
- Place of Presentation
  熊本市民会館 (熊本県熊本市中央区桜町)
- Year and Date
  2016-03-27
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] SAT技術を用いた正規ペトリネットのデッドロック検出手法の提案2016
- Author(s)
  寸田智也, 宋剛秀, 番原睦則, 田村直之
- Organizer
  日本ソフトウェア科学会第33回大会
- Place of Presentation
  東北大学 (宮城県・仙台市)
- Year and Date
  2016-09-06
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] SATソルバーを用いた部分グラフ探索のための制約モデル2016
- Author(s)
  川原征大, 宋剛秀, 番原睦則, 田村直之
- Organizer
  2016年度人工知能学会全国大会
- Place of Presentation
  北九州国際会議場 (福岡県・北九州市)
- Year and Date
  2016-06-06
- Data Source
  KAKENHI-PROJECT-16K16036
[Presentation] 解集合プログラミングを用いた制約組合せテストケース生成2016
- Author(s)
  兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳, 沖本天太
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
- Place of Presentation
  ダイヤモンド瀬戸内マリンホテル(岡山県玉野市渋川)
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] SATソルバーを用いた部分グラフ探索のための制約モデル2016
- Author(s)
  川原征大, 宋剛秀, 番原睦則, 田村直之
- Organizer
  2016年度人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] 解集合プログラミングを用いた制約組合せテストケース生成2016
- Author(s)
  兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳, 沖本天太
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
- Place of Presentation
  ダイヤモンド瀬戸内マリンホテル（岡山県・玉野市）
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] SAT技術を用いた正規ペトリネットのデッドロック検出手法の提案2016
- Author(s)
  寸田智也, 宋剛秀, 番原睦則, 田村直之
- Organizer
  日本ソフトウェア科学会第33回大会
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] インクリメンタルSAT解法を用いた高速ナンバーリンクソルバー2016
- Author(s)
  迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
- Place of Presentation
  ダイヤモンド瀬戸内マリンホテル (岡山県玉野市渋川)
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] SAT型制約ソルバーを用いた多層ナンバーリンクの解法2016
- Author(s)
  寸田智也, 南雄之, 吉玉元和, 宋剛秀
- Organizer
  DAシンポジウム2016
- Place of Presentation
  ゆのくに天祥 (石川県・加賀市)
- Year and Date
  2016-09-14
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] SAT技術を用いた正規ペトリネットのデッドロック検出手法の提案2016
- Author(s)
  寸田智也, 宋剛秀, 番原睦則, 田村直之
- Organizer
  日本ソフトウェア科学会第33回大会
- Place of Presentation
  東北大学 (宮城県・仙台市)
- Year and Date
  2016-09-06
- Data Source
  KAKENHI-PROJECT-16K16036
[Presentation] SAT型制約ソルバーによるナンバーリンクの解法とその評価2016
- Author(s)
  迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知
- Organizer
  2016年度人工知能学会全国大会
- Place of Presentation
  北九州国際会議場 (福岡県・北九州市)
- Year and Date
  2016-06-06
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] SAT型制約ソルバーを用いた多層ナンバーリンクの解法2016
- Author(s)
  寸田智也, 南雄之, 吉玉元和, 宋剛秀
- Organizer
  DAシンポジウム2016
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] SATソルバーを用いた制約プログラミングシステムとその応用2016
- Author(s)
  宋剛秀
- Organizer
  第57回プログラミング・シンポジウム
- Place of Presentation
  ラフォーレ倶楽部伊東温泉湯の庭（静岡県・伊東市）
- Year and Date
  2016-01-08
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] クラウド上のソフトウェア要素最適配置問題の解法2016
- Author(s)
  田村直之, 井上克巳, 鍋島英知, 番原睦則, 宋剛秀
- Organizer
  人工知能基本問題研究会(第100回)
- Place of Presentation
  熊本市民会館（熊本県・熊本市）
- Year and Date
  2016-03-27
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] 組合せテストケース生成問題に対する制約解集合プログラミングの適用2015
- Author(s)
  兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳
- Organizer
  2015年度人工知能学会全国大会(第29回)
- Place of Presentation
  公立はこだて未来大学 (北海道函館市亀田中野町)
- Year and Date
  2015-05-30
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] 制約充足問題のハイブリッド符号化に向けて2015
- Author(s)
  宋剛秀, 佐古田淳史, 番原睦則, 田村直之
- Organizer
  人工知能学会第97回人工知能基本問題研究会
- Place of Presentation
  別府国際コンベンションセンター (大分県)
- Year and Date
  2015-03-22
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] SATソルバーを用いた高速な部分グラフ探索ツールの実装と評価2015
- Author(s)
  川原征大, 宋剛秀, 番原睦則, 田村直之
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学西早稲田キャンパス(東京都新宿区大久保)
- Year and Date
  2015-09-09
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] SATソルバーを用いた高速な部分グラフ探索ツールの実装と評価2015
- Author(s)
  川原征大, 宋剛秀, 番原睦則, 田村直之
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学（東京都・新宿区）
- Year and Date
  2015-09-08
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] SATソルバーとそのアプリケーション開発について (SAT型制約ソルバー)2015
- Author(s)
  宋剛秀
- Organizer
  第9回AIツール入門講座
- Place of Presentation
  国立情報学研究所（東京都・千代田区）
- Year and Date
  2015-12-14
- Invited
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] Scarab: 高度なSAT解法を利用可能な制約プログラミングシステム2015
- Author(s)
  宋剛秀, 番原睦則, 田村直之
- Organizer
  第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015)
- Place of Presentation
  道後プリンスホテル (愛媛県)
- Year and Date
  2015-03-04
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] 順序符号化と対数符号化を融合した制約充足問題のハイブリッド符号化2015
- Author(s)
  宋剛秀, 番原睦則, 田村直之
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学西早稲田キャンパス(東京都新宿区大久保)
- Year and Date
  2015-09-09
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] Scala 上に実現した生物の代謝パスウェイ解析用のドメイン特化言語について2015
- Author(s)
  宋剛秀, 馬場知哉
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学（東京都・新宿区）
- Year and Date
  2015-09-08
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] SAT型制約ソルバーによるナンバーリンクの求解と解の最適化2015
- Author(s)
  迫龍哉, 川原征大, 田村直之, 番原睦則, 宋剛秀, 鍋島英知
- Organizer
  情報処理学会システムとLSIの設計技術研究会
- Place of Presentation
  山代温泉ゆのくに天祥 (石川県加賀市山代温泉19-49-1)
- Year and Date
  2015-08-26
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] 組合せテストケース生成問題に対する制約解集合プログラミングの適用2015
- Author(s)
  兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳
- Organizer
  2015年度人工知能学会全国大会
- Place of Presentation
  公立はこだて未来大学（北海道・函館市）
- Year and Date
  2015-05-30
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] iSugar : インクリメンタルSAT解法が利用可能なSAT型制約ソルバー2015
- Author(s)
  迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学（東京都・新宿区）
- Year and Date
  2015-09-08
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] iSugar : インクリメンタルSAT解法が利用可能なSAT型制約ソルバー2015
- Author(s)
  迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学西早稲田キャンパス(東京都新宿区大久保)
- Year and Date
  2015-09-09
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] 制約充足問題のハイブリッド符号化に向けて2015
- Author(s)
  宋剛秀, 佐古田淳史, 番原睦則, 田村直之
- Organizer
  人工知能学会第97回人工知能基本問題研究会
- Place of Presentation
  別府国際コンベンションセンター (大分県)
- Year and Date
  2015-03-22
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] 順序符号化と対数符号化を融合した制約充足問題のハイブリッド符号化2015
- Author(s)
  宋剛秀, 番原睦則, 田村直之
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学（東京都・新宿区）
- Year and Date
  2015-09-08
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] Scarab: 高度なSAT解法を利用可能な制約プログラミングシステム2015
- Author(s)
  宋剛秀, 番原睦則, 田村直之
- Organizer
  第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015)
- Place of Presentation
  道後プリンスホテル (愛媛県)
- Year and Date
  2015-03-04
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] 制約解集合プログラミングシステムの設計方式に関する考察2014
- Author(s)
  宋剛秀, 則武治樹, 番原睦則, 田村直之, 井上克巳
- Organizer
  日本ソフトウェア科学会第31回大会
- Place of Presentation
  名古屋大学 (愛知県)
- Year and Date
  2014-09-08
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] SATソルバーと密に結合された制約プログラミングシステムScarabとハミルトン閉路問題への応用2014
- Author(s)
  宋剛秀, Daniel Le Berre, Stéphanie Roussel, 番原睦則, 田村直之
- Organizer
  第28回人工知能学会全国大会
- Place of Presentation
  ひめぎんホール (愛媛県)
- Year and Date
  2014-05-12
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] SAT型制約ソルバーを用いたナンバーリンクの解法2014
- Author(s)
  田村直之, 宋剛秀, 番原睦則, 鍋島英知
- Organizer
  DAシンポジウム2014
- Place of Presentation
  水明館 (岐阜県)
- Year and Date
  2014-08-29
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] Incremental SAT-based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem2014
- Author(s)
  Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura
- Organizer
  The 5th International Workshop on Pragmatics of SAT (PoS 2014)
- Place of Presentation
  ウィーン工科大学 (オーストリア)
- Year and Date
  2014-07-13
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] SAT型制約ソルバーを用いたナンバーリンクの解法2014
- Author(s)
  田村直之, 宋剛秀, 番原睦則, 鍋島英知
- Organizer
  情報処理学会DAシンポジウム2014
- Place of Presentation
  水明館 (岐阜県)
- Year and Date
  2014-08-29
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] SATソルバーと密に結合された制約プログラミングシステムScarabとハミルトン閉路問題への応用2014
- Author(s)
  宋剛秀, Daniel Le Berre, Stephanie Roussel, 番原睦則, 田村直之
- Organizer
  第28回人工知能学会全国大会
- Place of Presentation
  ひめぎんホール (愛媛県)
- Year and Date
  2014-05-12
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] Scala上で実現されたSAT型制約プログラミングシステムのための開発ツール2014
- Author(s)
  宋剛秀, 番原睦則, 田村直之
- Organizer
  日本ソフトウェア科学会第31回大会
- Place of Presentation
  名古屋大学 (愛知県)
- Year and Date
  2014-09-09
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] 制約解集合プログラミングシステムの設計方式に関する考察2014
- Author(s)
  宋剛秀, 則武治樹, 番原睦則, 田村直之, 井上克巳
- Organizer
  日本ソフトウェア科学会第31回大会
- Place of Presentation
  名古屋大学 (愛知県)
- Year and Date
  2014-09-08
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] Scala上で実現されたSAT型制約プログラミングシステムのための開発ツール2014
- Author(s)
  宋剛秀, 番原睦則, 田村直之
- Organizer
  日本ソフトウェア科学会第31回大会
- Place of Presentation
  名古屋大学 (愛知県)
- Year and Date
  2014-09-09
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] 登録後コース時間割問題の基数制約を用いた制約モデルとSATソルバーを用いた解法2014
- Author(s)
  佐古田淳史, 宋剛秀, 番原睦則, 田村直之
- Organizer
  第28回人工知能学会全国大会
- Place of Presentation
  ひめぎんホール (愛媛県)
- Year and Date
  2014-05-12
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] Answer Set Programming as a Modeling Language for Course Timetabling2014
- Author(s)
  Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
- Organizer
  第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)
- Place of Presentation
  阿蘇の司ビラパークホテル
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] 登録後コース時間割問題の基数制約を用いた制約モデルとSATソルバーを用いた解法2014
- Author(s)
  佐古田淳史, 宋剛秀, 番原睦則, 田村直之
- Organizer
  第28回人工知能学会全国大会
- Place of Presentation
  ひめぎんホール (愛媛県)
- Year and Date
  2014-05-12
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] Incremental SAT-based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem2014
- Author(s)
  Takehide Soh, Daniel Le Berre, Stephanie Roussel, Mutsunori Banbara, Naoyuki Tamura
- Organizer
  The 5th International Workshop on Pragmatics of SAT (PoS 2014)
- Place of Presentation
  ウィーン工科大学 (オーストリア)
- Year and Date
  2014-07-13
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] SAT型制約プログラミングシステムのための高速開発ツール2013
- Author(s)
  宋剛秀
- Organizer
  論理と推論の理論, 実装, 応用に関する合同セミナー
- Place of Presentation
  北海道大学
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] パッキング配列問題の制約モデリングとSAT符号化2013
- Author(s)
  則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] Scarab: Scala上で実現されたSAT型制約プログラミングシステムのための高速開発ツール2013
- Author(s)
  宋剛秀,田村直之,番原睦則
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)
- Place of Presentation
  会津若松市(福島県)
- Year and Date
  2013-03-05
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] SAT符号化を用いたパッキング配列の構成2013
- Author(s)
  則武治樹,番原睦則、宋剛秀,田村直之,井上克巳
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)
- Place of Presentation
  会津若松市(福島県)
- Year and Date
  2013-03-05
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] 正方形詰込み問題の制約モデルとSAT符号化を用いた解法2013
- Author(s)
  佐古田淳史, 宋剛秀, 番原睦則, 田村直之
- Organizer
  2013年度人工知能学会全国大会
- Place of Presentation
  富山国際会議場
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] PBSugar: Compiling Pseudo-Boolean Constraints to SAT with Order Encoding2013
- Author(s)
  Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh
- Organizer
  The 4th International Workshop on Pragmatics of SAT (PoS 2013)
- Place of Presentation
  University of Helsinki, Finland
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] System Architecture and Implementation of a Prototyping Tool for SAT-based Constraint Programming Systems2013
- Author(s)
  Takehide Soh, Naoyuki Tamura, Mutsunori Banbara, Daniel Le Berre, and Stephanie Roussel
- Organizer
  The 4th International Workshop on Pragmatics of SAT (PoS 2013)
- Place of Presentation
  University of Helsinki, Finland
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] CSPSAT Projects and their SAT Related Tools2013
- Author(s)
  Naoyuki Tamura, Takehide Soh, Mutsunori Banbara, and Katsumi Inoue
- Organizer
  The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013), Combined tool demo and poster session
- Place of Presentation
  University of Helsinki, Finland
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] Scala 上で実現されたSAT型制約プログラミングシステムのための開発ツール Scarab について2013
- Author(s)
  宋剛秀, 番原睦則, 田村直之, Daniel Le Berre, Stephanie Roussel
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-25730042
[Presentation] Towards In Crelnental SAT-based CSP Solving: experimental Results for the Hamiltonian Cycle Problem2012
- Author(s)
  Takehlde Soh, Funakoshi Taisuke, Naoyuki Tamura, Mutsunori Banhara.
- Organizer
  The 2012 CRIL-Nil Collaborative Meeting on Reasoning about Dynamic Constraint Networks
- Place of Presentation
  Universite d'Artois(France)
- Year and Date
  2012-11-23
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] (学生奨励賞受賞)カリキュラムベースのコース時間罰問題の擬似プール最適化問題への符号化2012
- Author(s)
  鈴江美奈,田村直之,番原睦則,宋剛秀,鳩野逸生
- Organizer
  日本ソフトウェア科学会第29回大会
- Place of Presentation
  法政大学(東京都)
- Year and Date
  2012-08-24
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] System Architecture and Implementation of a Prototyping Tool for SAT-based Constraint Programming Systems
- Author(s)
  Takehide Soh, Naoyuki Tamura, Mutsunori Banbara, Daniel Le Berre, and Stéphanie Roussel
- Organizer
  The 4th International Workshop on Pragmatics of SAT (PoS 2013)
- Place of Presentation
  University of Helsinki, Finland
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] Scala 上で実現されたSAT型制約プログラミングシステムのための開発ツール Scarab について
- Author(s)
  宋剛秀, 番原睦則, 田村直之, Daniel Le Berre, Stéphanie Roussel
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] CSPSAT Projects and their SAT Related Tools
- Author(s)
  Naoyuki Tamura, Takehide Soh, Mutsunori Banbara, and Katsumi Inoue
- Organizer
  The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
- Place of Presentation
  University of Helsinki, Finland
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] 正方形詰込み問題の制約モデルとSAT符号化を用いた解法
- Author(s)
  佐古田淳史, 宋剛秀, 番原睦則, 田村直之
- Organizer
  2013年度人工知能学会全国大会
- Place of Presentation
  富山国際会議場
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] Answer Set Programming as a Modeling Language for Course Timetabling
- Author(s)
  Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
- Organizer
  第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)
- Place of Presentation
  阿蘇の司ビラパークホテル
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] PBSugar: Compiling Pseudo-Boolean Constraints to SAT with Order Encoding
- Author(s)
  Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh
- Organizer
  The 4th International Workshop on Pragmatics of SAT (PoS 2013)
- Place of Presentation
  University of Helsinki, Finland
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] パッキング配列問題の制約モデリングとSAT符号化
- Author(s)
  則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-24300007

1. TAMURA Naoyuki (60207248)

# of Collaborated Projects: 6 results

# of Collaborated Products: 100 results
2. BANBARA Mutsunori (80290774)

# of Collaborated Projects: 6 results

# of Collaborated Products: 94 results
3. INOUE Katsumi (10252321)

# of Collaborated Projects: 3 results

# of Collaborated Products: 19 results
4. NABESHIMA Hidetomo (10334848)

# of Collaborated Projects: 2 results

# of Collaborated Products: 3 results
5. TANJO Tomoya (40635067)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. OKIMOTO Tenda (10632432)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. KAWAHARA Jun (20572473)

# of Collaborated Projects: 1 results

# of Collaborated Products: 8 results
8. 飯岡大輔 (30377808)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 戸田貴久 (50451159)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
10. 鈴木顕 (10723562)

# of Collaborated Projects: 1 results

# of Collaborated Products: 9 results
11. 照山順一 (40709862)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
12. 中畑裕 (50942067)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
13. 伊藤健洋 (40431548)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
14. 小林靖明 (60735083)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 野崎雄太 (40822648)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

SOH TAKEHIDE 宋 剛秀

SOH Takehide 宋 剛秀

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Speeding-up SAT-based Constraint Optimization SolversPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Acceleration of SAT-based CSP Solvers using MDDPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

High Performance SAT-based Constraint Programming System using Hybrid EncodingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research and Development of Constraint Programming Systems for Metabolic Pathway AnalysisPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Scalable hard instances for independent set reconfiguration2024

Author(s)

Journal Title

Data Source

[Journal Article] CoRe Challenge 2022/2023: Empirical evaluations for independent set reconfiguration problems (Extended Abstract)2024

Author(s)

Journal Title

Data Source

[Journal Article] ZDD-based algorithmic framework for solving shortest reconfiguration problems2023

Author(s)

Journal Title

SOH TAKEHIDE 宋剛秀

SOH Takehide 宋剛秀