BANBARA MUTSUNORI 番原睦則

… Alternative Names

BANBARA Mutsunori 番原睦則

Less

Researcher Number	80290774
Other IDs
External Links
Affiliation (Current)	2025: 名古屋大学, 情報学研究科, 教授
Affiliation (based on the past Project Information) *help	2018 – 2025: 名古屋大学, 情報学研究科, 教授 2014 – 2017: 神戸大学, 情報基盤センター, 准教授 2014: 神戸大学, 情報基盤センター, 教授 2010 – 2012: 神戸大学, 情報基盤センター, 准教授 2007 – 2009: Kobe University, Information Science and Technology Center, Associate Professor … More 2003 – 2006: 神戸大学, 学術情報基盤センター, 講師 2002: 奈良工業高等専門学校, 一般教科, 講師 1999 – 2000: 奈良工業高等専門学校, 一般教科, 講師 Less
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Software / Software Except Principal Investigator 計算機科学 / Software / Medium-sized Section 60:Information science, computer engineering, and related fields / Basic Section 60050:Software-related / Medium-sized Section 61:Human informatics and related fields / Transformative Research Areas, Section (IV) / Software / Intelligent informatics
Keywords	Principal Investigator 解集合プログラミング / SAT / 制約プログラミング / 論理プログラミング / 時間割問題 / SAT技術 / 制約充足問題 / Prolog / 車両装備仕様問題 / 組合せ最適化問題 … More / 命題論理の充足可能性判定(SAT) / 巨大近傍探索 / 組合せ最適化 / 多目的最適化 / 最適化 / 被覆配列 / テストケース生成 / 組合せテスト / 並列計算 / JAVA / Java … More Except Principal Investigator 制約プログラミング / SATソルバー / 制約充足問題 / Linear Logic / 線形論理 / 命題論理 / 充足可能性判定問題 / 実用的アルゴリズム / SATソルバ / 組合せ遷移 / 二分決定図 / 計算困難・計算不能な問題 / 充足可能性問題 / SAT技術 / 制約ソルバー / 索引化 / 列挙 / 演算処理系 / 離散構造 / アルゴリズム / グラフアルゴリズム / SATアルゴリズム / 文字列アルゴリズム / 列挙アルゴリズム / 大規模離散構造 / 情報システム / Parallel Computing / Grid Computing / Constraint Satisfaction Problems / グリッド / 制約解消 / 並列計算 / グリッド計算 / Theorem Proving / Automated Reasoning / Automated Deduction / 定理証明 / 自動証明 / 自動演繹 / Compiler / Intuitionism / Logic Programming Language / Temporal Logic / Temporal Linear Logic / 時相腺形論理 / コンパイラ / 直観主義 / 論理型言語 / 時相論理 / 時相線形論理 / 計算機システム / 並列処理・分散処理 / 制約最適化問題 / SAT Less

解集合プログラミングに基づく組合せ遷移問題の汎用解法と遷移最適化への拡張Principal Investigator
- Principal Investigator
  
  番原睦則
- Project Period (FY)
  2025 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Nagoya University
Research on solvable regions of theoretically uncomputable/difficult classes
- Principal Investigator
  
  上原隆平
- Project Period (FY)
  2024 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Japan Advanced Institute of Science and Technology
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 SearchPrincipal Investigator
- 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
Algorithmic Foundations Based on Large-Scale Discrete Structures
- Principal Investigator
  
  堀山貴史
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Transformative Research Areas (A)
- Review Section
  
  Transformative Research Areas, Section (IV)
- Research Institution
  Hokkaido University
Research on Integrated Techniques of Enumeration and Optimization Based on Discrete Structure Manipulation Systems
- Principal Investigator
  
  湊真一
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 61:Human informatics and related fields
- Research Institution
  Kyoto University
Research and Development on Multi-objective Optimization Solver based on Advanced Knowledge Representation and Reasoning TechniquesPrincipal Investigator
- 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
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 EncodingPrincipal Investigator
- 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
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
Automatic Test Case Generation for Combinatorial Testing Using Various Logical Inference EnginesPrincipal Investigator
- Principal Investigator
  
  BANBARA Mutsunori
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Kobe University
Study of SAT-based constraint optimization problem solving and its parallel distributed processing
- Principal Investigator
  
  TAMURA Naoyuki
- Project Period (FY)
  2008 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  Kobe University
A Prolog-Based Parallel Execution System for Multiple SAT SolversPrincipal Investigator
- Principal Investigator
  
  BANBARA Mutsunori
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Kobe University
Research on a Parallel Constraint Solver System on a Grid Computing Environment
- Principal Investigator
  
  TAMURA Naoyuki
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kobe University
Javaによる次世代Prolog言語処理系及びそのアプリケーションの開発Principal Investigator
- Principal Investigator
  
  番原睦則
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Kobe University
Research of Automated Deduction System for Linear Logic
- Principal Investigator
  
  TAMURA Naoyuki
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Kobe University
Design and system development of a programming language based on a temporal linear logic
- Principal Investigator
  
  TAKAHASHI Makoto, 田村直之
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  KOBE UNIVERSITY

[Book] Design and Implementation of Linear Logic Programming Languages2002
- Author(s)
  M.Banbara
- Total Pages
  97
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580375
[Journal Article] Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis2024
- Author(s)
  Yamada Yuya、Banbara Mutsunori、Inoue Katsumi、Schaub Torsten、Uehara Ryuhei
- Journal Title
  
  Proceedings of the 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024)
  
  Volume: LNCS 14549 Pages: 242-256
- DOI
  10.1007/978-981-97-0566-5_18
- ISBN
  9789819705658, 9789819705665
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-21K11828
[Journal Article] On the Computational Complexity of Generalized Common Shape Puzzles2024
- Author(s)
  Banbara Mutsunori、Minato Shin-ichi、Ono Hirotaka、Uehara Ryuhei
- Journal Title
  
  Proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2024)
  
  Volume: LNCS 14519 Pages: 55-68
- DOI
  10.1007/978-3-031-52113-3_4
- ISBN
  9783031521126, 9783031521133
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-21K11828, KAKENHI-PROJECT-20H00605
[Journal Article] Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming2023
- Author(s)
  Yamada Yuya、Banbara Mutsunori、Inoue Katsumi、Schaub Torsten
- Journal Title
  
  Proceedings of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023)
  
  Volume: LNAI 14281 Pages: 278-286
- DOI
  10.1007/978-3-031-43619-2_20
- ISBN
  9783031436185, 9783031436192
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-21K11828
[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] 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] 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
  
  14th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023)
  
  Volume: hal-03964870
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H00605
[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] SQL 型制約プログラミングシステム CombSQL+ の複数制約ソルバー連携2023
- Author(s)
  小菅脩司、酒井正彦、番原睦則
- Journal Title
  
  JSAI Technical Report, SIG-FPAI
  
  Volume: 125 Issue: 0 Pages: 54-59
- DOI
  10.11517/jsaifpai.125.0_54
- ISSN
  2436-4584
- Year and Date
  2023-08-21
- Language
  Japanese
- Data Source
  KAKENHI-PROJECT-21K11828
[Journal Article] Solving Power Distribution Network Problems with Answer Set Programming2023
- Author(s)
  山田健太郎、湊真一、田村直之、番原睦則
- Journal Title
  
  Computer Software
  
  Volume: 40 Issue: 2 Pages: 2_3-2_18
- DOI
  10.11309/jssst.40.2_3
- ISSN
  0289-6540
- Year and Date
  2023-04-21
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-21K11828, KAKENHI-PLANNED-20H05964, KAKENHI-PROJECT-20H00605
[Journal Article] Solving Vehicle Equipment Specification Problems with Answer Set Programming2023
- Author(s)
  Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, and Torsten Schaub
- Journal Title
  
  Proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023)
  
  Volume: 13880 Pages: 232-249
- DOI
  10.1007/978-3-031-24841-2_15
- ISBN
  9783031248405, 9783031248412
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11828, KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-20H00605
[Journal Article] Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions2022
- Author(s)
  Shin-ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi
- Journal Title
  
  arXiv preprint
  
  Volume: 2201.08118
- Open Access
- Data Source
  KAKENHI-PROJECT-20H00605
[Journal Article] レプ・タイルの定式化を用いた各種ソルバの性能比較2022
- Author(s)
  番原睦則、安田宜仁、橋本健二、堀山貴史、湊真一、中村駆、西野正彬、酒井正彦、上原隆平、宇野裕之
- Journal Title
  
  JSAI Technical Report, SIG-FPAI
  
  Volume: 119 Issue: 0 Pages: 02-07
- DOI
  10.11517/jsaifpai.119.0_02
- NAID
  130008143051
- ISSN
  2436-4584
- Language
  Japanese
- Data Source
  KAKENHI-PROJECT-21K11828
[Journal Article] A Study on ASP-based Integration of Systematic and Stochastic Local Search2021
- Author(s)
  桑原和也、田村直之、番原睦則
- Journal Title
  
  Proceedings of the Annual Conference of JSAI
  
  Volume: JSAI2021 Issue: 0 Pages: 2E1OS13a01-2E1OS13a01
- DOI
  10.11517/pjsai.JSAI2021.0_2E1OS13a01
- NAID
  130008051599
- Language
  Japanese
- Data Source
  KAKENHI-PROJECT-21K11828
[Journal Article] Solving Multi-objective Vehicle Equipment Specification Problem with Answer Set Programming2021
- Author(s)
  竹内頼人、田村直之、番原睦則
- Journal Title
  
  Proceedings of the Annual Conference of JSAI
  
  Volume: JSAI2021 Issue: 0 Pages: 1H4GS1c03-1H4GS1c03
- DOI
  10.11517/pjsai.JSAI2021.0_1H4GS1c03
- NAID
  130008051554
- Language
  Japanese
- Data Source
  KAKENHI-PROJECT-21K11828
[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] 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] 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] 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] SAT技術を用いたペトリネットのデッドロック検出手法の提案2018
- Author(s)
  寸田智也, 宋剛秀, 番原睦則, 田村直之, 井上克巳
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 59(9) Pages: 1749-1760
- NAID
  120006799300
- Peer Reviewed
- 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-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] 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] 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] 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] 解集合プログラミングによるカリキュラムベース・コース時間割編成2017
- Author(s)
  番原睦則, 井上克巳, ベンジャミンカウフマン, トルステンシャウブ, 宋剛秀, 田村直之, フィリップワンコ
- Journal Title
  
  第29回RAMPシンポジウム論文集
  
  Volume: - Pages: 73-88
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02803
[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] Clingcon: The Next Generation2017
- Author(s)
  Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub
- Journal Title
  
  Theory and Practice of Logic Programming
  
  Volume: 17(4) Issue: 4 Pages: 408-461
- DOI
  10.1017/s1471068417000138
- Peer Reviewed / Int'l Joint Research
- Data Source
  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-15K00099
[Journal Article] SAT技術の進化2016
- Author(s)
  番原睦則, 鍋島英知
- Journal Title
  
  情報処理
  
  Volume: 57(8)
- Peer Reviewed
- Data Source
  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 / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02803
[Journal Article] \sum_x-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems2016
- Author(s)
  Maxime Clement, Tenda Okimoto, Katsumi Inoue, and Mutsunori Banbara
- Journal Title
  
  Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)
  
  Volume: － Pages: 63-79
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00099
[Journal Article] Σ_x-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems.2016
- Author(s)
  Maxime Clement, Tenda Okimoto, Katsumi Inoue, and Mutsunori Banbara
- 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] SATとパズル2016
- Author(s)
  田村直之, 宋剛秀, 番原睦則
- Journal Title
  
  情報処理
  
  Volume: 57(8) Pages: 710-715
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00099
[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) Pages: 704-709
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00099
[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] 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] 位取り記数法に基づく整数有限傾域上の制約充足問題のコンパクトかつ効率的なSAT符号化2013
- Author(s)
  丹生智也,田村直之,番原睦則
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 30(1) Pages: 211-230
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[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] 直観主義線形論理型言語LLPとそのコンパイラ処理系2013
- Author(s)
  田村直之,番原睦則
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 30 Pages: 83-89
- NAID
  10031151476
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] A Compact and Efficient SAT Encoding of Finite CSP based on a Numeral System of Integers2013
- Author(s)
  丹生智也, 田村直之, 番原睦則
- Journal Title
  
  Computer Software
  
  Volume: 30 Issue: 1 Pages: 1_211-1_230
- DOI
  10.11309/jssst.30.1_211
- NAID
  130004549312
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700032
[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] Intuitionistic Linear Logic Programming Language LLP and its Compiler Systems2013
- Author(s)
  田村直之, 番原睦則
- Journal Title
  
  Computer Software
  
  Volume: 30 Issue: 2 Pages: 2_83-2_89
- DOI
  10.11309/jssst.30.2_83
- NAID
  10031151476
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Domain-Specific Language Copris for Constraint Programming in Scala2012
- Author(s)
  田村直之, 丹生智也, 番原睦則
- Journal Title
  
  Computer Software
  
  Volume: 29 Issue: 4 Pages: 4_114-4_129
- DOI
  10.11309/jssst.29.4_114
- NAID
  130004549288
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700032
[Journal Article] Scala上の制約プログラミング用ドメイン特化言語Coprisについて2012
- Author(s)
  田村直之, 丹生智也, 番原睦則
- Journal Title
  
  コンピュータソフトウェア
- NAID
  130004549288
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] 私のブックマーク:SATソルバー2012
- Author(s)
  番原睦則, 田村直之, 井上克巳
- Journal Title
  
  人工知能学会誌
  
  Volume: (掲載決定)
- Data Source
  KAKENHI-PROJECT-22700032
[Journal Article] Azucar: A SAT-Based CSP Solver Using Compact Order Encoding2012
- Author(s)
  Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
- Journal Title
  
  The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), LNCS, Springer
  
  Volume: 7317 Pages: 456-462
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] 私のブックマーク:SATソルバー2012
- Author(s)
  番原睦則, 田村直之, 井上克巳
- Journal Title
  
  人工知能学会誌
  
  Volume: (掲載決定)
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Generating Balanced Incomplete Block Designs by SAT Encoding2012
- Author(s)
  松中春樹, 丹生智也, 番原睦則, 田村直之
- Journal Title
  
  Transactions of the Japanese Society for Artificial Intelligence
  
  Volume: 27 Issue: 2 Pages: 10-15
- DOI
  10.1527/tjsai.27.10
- NAID
  130001878739
- ISSN
  1346-0714, 1346-8030
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003, KAKENHI-PROJECT-22700032
[Journal Article] Scala上の制約プログラミング用ドメイン特化言語Coprisについて2012
- Author(s)
  田村直之,丹生智也,番原睦則
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 29(4) Pages: 114-129
- NAID
  130004549288
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007
[Journal Article] Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix2012
- Author(s)
  Mutsunori Banbara
- Journal Title
  
  The 28th International Conference on Logic Programming (ICLP 2012)
  
  Volume: LIPIcs 17 Pages: 86-97
- DOI
  10.4230/LIPIcs.ICLP.2012.86
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700032, KAKENHI-PROJECT-24300007
[Journal Article] A Compact and Efficient SAT-Encoding of Finite Domain CSP2011
- Author(s)
  Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
- Journal Title
  
  Proc.of 14th Int'l Conf.on Theory and Applications of Satisfiability Testing (SAT 2011)
  
  Pages: 375-376
- DOI
  10.1007/978-3-642-21581-0_36
- ISBN
  9783642215803, 9783642215810
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] A Compact and Efficient SAT-Encoding of Finite Domain CSP2011
- Author(s)
  T. Tanjo, N. Tamura, M. Banbara
- Journal Title
  
  Proc of 14th Int' l Conf. on Theory and Applications of Satisfiability Testing(SAT 2011)
  
  Pages: 375-376
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Proposal of a compact and efficient SAT encoding using a numeral system of anybase2011
- Author(s)
  Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
- Journal Title
  
  Proc.of the 1st Int'l Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2011)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700032
[Journal Article] A Compact and Efficient SAT-Encoding of Finite Domain CSP2011
- Author(s)
  Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
- Journal Title
  
  Proc.of the 14th Int'l Conf.on Theory and Applications of Satisfiability Testing (SAT 2011), LNCS 6695
  
  Pages: 375-376
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700032
[Journal Article] Proposal of a compact and efficient SAT encoding using a numeral system of any base2011
- Author(s)
  Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
- Journal Title
  
  Proc.of 1st Int'l Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2011)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] 制約最適化問題とSAT符号化2010
- Author(s)
  田村直之, 丹生智也, 番原睦則
- Journal Title
  
  人工知能学会誌 25・1
  
  Pages: 77-85
- Data Source
  KAKENHI-PROJECT-19700025
[Journal Article] SATによるシステム検証2010
- Author(s)
  番原睦則, 田村直之
- Journal Title
  
  人工知能学会誌 25・1
  
  Pages: 122-129
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010
- Author(s)
  T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima
- Journal Title
  
  Fundamenta Informaticae Vol.102
  
  Pages: 467-487
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010
- Author(s)
  T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima
- Journal Title
  
  Fundamenta Informaticae
  
  Volume: 102・3-4 Pages: 467-487
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] SAT変換に基づく制約ソルバーとその性能評価2010
- Author(s)
  田村直之, 丹生智也, 番原睦則
- Journal Title
  
  コンピュータソフトウェア 27巻
  
  Pages: 183-196
- NAID
  130004549193
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] SATによるシステム検証2010
- Author(s)
  番原睦則, 田村直之
- Journal Title
  
  人工知能学会誌 25・1
  
  Pages: 122-129
- Data Source
  KAKENHI-PROJECT-19700025
[Journal Article] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010
- Author(s)
  T. Soh, K. Inoue, N. Tamura, M. Banbara, H. Nabeshima
- Journal Title
  
  Fundamenta Informaticae
  
  Volume: Vol.102 Pages: 467-487
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers2010
- Author(s)
  M.Banbara, H.Matsunaka, N.Tamura. K.Inoue
- Journal Title
  
  17th Int'l Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17)
  
  Pages: 112-126
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] 制約最適化問題とSAT符号化2010
- Author(s)
  田村直之, 丹生智也, 番原睦則
- Journal Title
  
  人工知能学会誌 25巻1号
  
  Pages: 77-85
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700025
[Journal Article] A SAT-Based Method for Solving the Two-dimensional Strip Packing Problem2010
- Author(s)
  Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara and Hidetomo Nabeshima
- Journal Title
  
  Fundamenta Informaticae
  
  Volume: 102(3-4) Issue: 3-4 Pages: 467-487
- DOI
  10.3233/fi-2010-314
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700032
[Journal Article] A SAT-based Constraint Solver and its Performance Evaluation2010
- Author(s)
  田村直之, 丹生智也, 番原睦則
- Journal Title
  
  Computer Software
  
  Volume: 27 Issue: 4 Pages: 183-196
- DOI
  10.11309/jssst.27.4_183
- NAID
  130004549193
- ISSN
  0289-6540
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700032
[Journal Article] SAT変換に基づく制約ソルバーとその性能評価2010
- Author(s)
  田村直之, 丹生智也, 番原睦則
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 27巻 Pages: 183-196
- NAID
  130004549193
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] 制約最適化問題とSAT符号化2010
- Author(s)
  田村直之, 丹生智也, 番原睦則
- Journal Title
  
  人工知能学会誌 25・1
  
  Pages: 77-85
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers2010
- Author(s)
  M.Banbara, H.Matsunaka, N.Tamura, K.Inoue
- Journal Title
  
  17th Int'l Conf.on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17)
  
  Pages: 112-126
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700032
[Journal Article] SATによるシステム検証2010
- Author(s)
  番原睦則, 田村直之
- Journal Title
  
  人工知能学会誌 25巻1号
  
  Pages: 122-129
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700025
[Journal Article] Compiling Finite Linear CSP into SAT2009
- Author(s)
  N.Tamura, A.Taga, S.Kitagawa, M.Banbara
- Journal Title
  
  Constraints 14・2
  
  Pages: 254-272
- NAID
  120000944873
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Compiling Finite Linear CSP into SAT2009
- Author(s)
  N. Tamura, A. Taga, S. Kitagawa, M. Banbara
- Journal Title
  
  Constraints
  
  Volume: Vol.27 Pages: 254-272
- NAID
  120000944873
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Compiling Finite Linear CSP into SAT, Constraints2009
- Author(s)
  N. Tamura, A. Taga, S. Kitagawa, M. Banbara
- Journal Title
  
  Vol.14Issue.2
  
  Pages: 254-272
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700025
[Journal Article] Compiling Finite Linear CSP into SAT2009
- Author(s)
  N.Tamura, A.Taga, S.Kitagawa, M.Banbara
- Journal Title
  
  Constraints 14・2
  
  Pages: 254-272
- NAID
  120000944873
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700025
[Journal Article] Compiling Finite Linear CSP into SAT2009
- Author(s)
  N.Tamura, A.Taga, S.Kitagawa, M.Banbara
- Journal Title
  
  Constraints Vol.27
  
  Pages: 254-272
- NAID
  120000944873
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Sugar++: A SAT-based MAX-CSP/COP Solver2008
- Author(s)
  T. Tanjo, N. Tamura, M. Banbara
- Journal Title
  
  Proceedings of the Third International CSP Solver Competition
  
  Pages: 77-82
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700025
[Journal Article] Sugar: A CSP to SAT translator based on order encoding2008
- Author(s)
  N. Tamura, M. Banbara
- Journal Title
  
  Proc. of the 2nd International CSP Solver Competition
  
  Pages: 65-69
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500094
[Journal Article] System Description of a SAT-based CSP Solver Sugar2008
- Author(s)
  N. Tamura, T. Tanjo, M. Banbara
- Journal Title
  
  Proceedings of the Third International CSP Solver Competition
  
  Pages: 71-75
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700025
[Journal Article] Sugar: A CSP to SAT Translator Based on Order Encoding2008
- Author(s)
  N. Tamura, M. Banbara
- Journal Title
  
  Proceedings of the Second International CSP Solver Competition
  
  Pages: 65-69
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700025
[Journal Article] PrologからJavaへのトランスレータ処理系とその応用2007
- Author(s)
  番原睦則, 田村直之, 井上克己
- Journal Title
  
  コンピュータソフトウェア 24巻3号
  
  Pages: 75-86
- NAID
  130004638868
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700025
[Journal Article] Prolog to Java Translator System and its Application2007
- Author(s)
  M. Banbara, N. Tamura, K. Inoue, A
- Journal Title
  
  Computer Software Vol. 24, No. 3
  
  Pages: 75-86
- NAID
  40022111103
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500094
[Journal Article] PrologからJavaへのトランスレータ処埋系とその応用2007
- Author(s)
  番原睦則, 田村直之, 井上克己
- Journal Title
  
  コンピュータソフトウェア (印刷中)
- Data Source
  KAKENHI-PROJECT-17500094
[Journal Article] PrologからJavaへのトランスレータ処理系とその応用2007
- Author(s)
  番原睦則
- Journal Title
  
  コンピュータソフトウェア第24巻・第3号
  
  Pages: 75-86
- NAID
  130004638868
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700025
[Journal Article] PrologからJavaへのトランスレータ処理系とその応用2007
- Author(s)
  番原睦則
- Journal Title
  
  コンピュータソフトウェア第24巻・第3号
  
  Pages: 75-86
- NAID
  130004638868
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500094
[Journal Article] Prolog Cafe: A Pro-log to Java Translator System2006
- Author(s)
  N. Tamura, M. Banbara
- Journal Title
  
  Journal of the Japanese Society for Artificial Intelligence Vol. 21, No. 4
  
  Pages: 1-8
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500094
[Journal Article] Prolog Cafe : Java上で動作するProlog処理系2006
- Author(s)
  田村直之, 番原睦則
- Journal Title
  
  人工知能学会学会誌 21・4
  
  Pages: 1-8
- Data Source
  KAKENHI-PROJECT-17500094
[Journal Article] A Competitive and Cooperative Approach to Propositional Satisfiability2006
- Author(s)
  K.Inoue, K.Soh, S.Ueda, Y.Sasaura, M.Banbara, N.Tamura
- Journal Title
  
  Discrete Applied Mathematics 154・16
  
  Pages: 2291-2306
- Data Source
  KAKENHI-PROJECT-17500094
[Journal Article] Prolog Cafe : A Prolog to Java Translator System2005
- Author(s)
  Mutsunori Banbara
- Journal Title
  
  In Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management
  
  Pages: 45-54
- Data Source
  KAKENHI-PROJECT-15700038
[Journal Article] PrologからJavaへのトランスレータ処理系とその応用2005
- Author(s)
  番原睦則
- Journal Title
  
  日本ソフトウェア科学会第22回大会
- NAID
  130004638868
- Data Source
  KAKENHI-PROJECT-15700038
[Journal Article] Classical propositional linear logic theorem prover on a linear logic programming language compiler system2005
- Author(s)
  N.Tamura, M.Banbara
- Journal Title
  
  A Proof Theory Workshop(Keio University)
- NAID
  130005006638
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580375
[Journal Article] 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム2005
- Author(s)
  田村直之, 番原睦則
- Journal Title
  
  コンピュータソフトウェア 22・1
  
  Pages: 98-103
- NAID
  130005006638
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580375
[Journal Article] Prolog Cafe : a Prolog to Java translator system2005
- Author(s)
  M.Banbara, N.Tamura 他
- Journal Title
  
  Proc.INAP 2005
  
  Pages: 45-54
- Data Source
  KAKENHI-PROJECT-17500094
[Journal Article] Classical Propositional Linear Logic Theorem Prover on a Linear Logic Programming Language Compiler System2005
- Author(s)
  N.Tamura, M.Banbara
- Journal Title
  
  Computer Software 22-1
  
  Pages: 98-103
- NAID
  130005006638
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580375
[Journal Article] Inoue, Prolog Cafe: a Prolog to Java translator system2005
- Author(s)
  M. Banbara, N. Tamura, K
- Journal Title
  
  Proc. of the 16th Internat.ional Conference on Applications of Declarative Programming and Knowledge Management(INAP 2005)
  
  Pages: 45-54
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500094
[Journal Article] Classical propositional linear logic theorem prover on a linear logic programming language compiler system2005
- Author(s)
  N.Tamura, M.Banbara
- Journal Title
  
  A Proof Theory Workshop, Keio University
- NAID
  130005006638
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580375
[Journal Article] g-Hecs : a constraint solving system on the Grid2005
- Author(s)
  M.Banbara, N.Tamura 他
- Journal Title
  
  Proc.INAP 2005
  
  Pages: 191-199
- Data Source
  KAKENHI-PROJECT-17500094
[Journal Article] Experimental results fir solving job-shop schedul-ing problems with multiple SAT solvers2005
- Author(s)
  T. Soh, K. Inoue, M, I. Banbara, N. Tamura
- Journal Title
  
  Proc. of the 1st International Workshop on Distributed and Speculative Constraint Processing(DSCP05)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500094
[Journal Article] Demonstration of Unsafe Time Condition Extraction for Train-Gate Controller2004
- Author(s)
  N.Tamura, M.Banbara他
- Journal Title
  
  Workshop on Proof Theory and its Applications, Keio University
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580375
[Journal Article] Demonstration of Unsafe Time Condition Extraction for Train-Gate Controller2004
- Author(s)
  N.Tamura, M.Banbara他
- Journal Title
  
  Proof Theory and its Applicationsに関する合同セミナー
- Data Source
  KAKENHI-PROJECT-14580375
[Journal Article] Demonstration of Unsafe Time Condition Extraction for Train-Gate Controller2004
- Author(s)
  N.Tamura, M.Banbara, et al.
- Journal Title
  
  Workshop on Proof Theory and its Applications(Keio University)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580375
[Journal Article] Javaによる分散協調制約解消システム2004
- Author(s)
  番原睦則
- Journal Title
  
  IPAX Spring 2004
- Data Source
  KAKENHI-PROJECT-15700038
[Journal Article] Towards a Heterogeneous Constraint Solving System on the Grid2004
- Author(s)
  Mutsunori Banbara
- Journal Title
  
  Franco-Japanese Workshop on Constraint Programming
- Data Source
  KAKENHI-PROJECT-15700038
[Journal Article] 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム2004
- Author(s)
  田村直之, 番原睦則
- Journal Title
  
  日本ソフトウェア科学会第20回全国大会
- NAID
  130005006638
- Data Source
  KAKENHI-PROJECT-14580375
[Journal Article] Demonstration of Compiler Systems for Linear Logic Programming Languages and their Applications2003
- Author(s)
  M.Banbara, T.Tanizawa, N.Tamura
- Journal Title
  
  Workshop on Logic and Computation(Keio University)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580375
[Journal Article] LLPTTP : Theorem Prover using Compiler of a Linear Logic Programming Language2003
- Author(s)
  N.Tamura, M.Banbara
- Journal Title
  
  Computer Software 20-5
  
  Pages: 90-96
- NAID
  130004548997
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580375
[Journal Article] LLPTTP:線形論理型言語コンパイラ処理系を用いた定理証明システム2003
- Author(s)
  田村直之, 番原睦則
- Journal Title
  
  コンピュータソフトウェア 20・5
  
  Pages: 90-96
- NAID
  130006949877
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580375
[Journal Article] Demonstration of Compiler Systems for Linear Logic Programming Languages and their Applications2003
- Author(s)
  M.Banbara, T.Tanizawa, N.Tamura
- Journal Title
  
  Workshop on Logic and Computation, Keio University
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580375
[Journal Article] Design and Implementation of Linear Logic Programming Languages2002
- Author(s)
  M.Banbara
- Journal Title
  
  Ph.D Dissertation(Graduate School of Science and Technology, Kobe University)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580375
[Journal Article] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem
- Author(s)
  T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima
- Journal Title
  
  Jouranal of Algorithms in Cognition, Informatics and Logic (掲載確定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] Answer Set Programming を用いた圧縮指標の計算2024
- Author(s)
  クップルドミニク, 番原睦則
- Organizer
  2023年度冬のLAシンポジウム
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] 解集合プログラミングを用いた支配集合遷移2024
- Author(s)
  加藤聖人, 宋剛秀, 田村直之, 番原睦則
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] On the Computational Complexity of Generalized Common Shape Puzzles2024
- Author(s)
  M. Banbara, S. Minato, H. Ono, R. Uehara
- Organizer
  The 49th International Conference on Current Trends in Theory and Practice of Computer Science
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装2024
- Author(s)
  杉森唯瑠未, 宋剛秀, 田村直之, 井上克巳, 鍋島英知, 番原睦則
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装2024
- Author(s)
  杉森唯瑠未, 宋剛秀, 田村直之, 井上克巳, 鍋島英知, 番原睦則
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) ポスター発表
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] 解集合プログラミングを用いた支配集合遷移2024
- Author(s)
  加藤聖人, 宋剛秀, 田村直之, 番原睦則
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis2024
- Author(s)
  Y. Yamada, M. Banbara, K. Inoue, T. Schaub, R. Uehara
- Organizer
  The 18th International Conference and Workshops on Algorithms and Computation
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装2024
- Author(s)
  杉森唯瑠未, 宋剛秀, 田村直之, 井上克巳, 鍋島英知, 番原睦則
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] 解集合プログラミングを用いた支配集合遷移2024
- Author(s)
  加藤聖人, 宋剛秀, 田村直之, 番原睦則
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] Answer Set Programming を用いた圧縮指標の計算2024
- Author(s)
  クップルドミニク, 番原睦則
- Organizer
  LAシンポジウム
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] Hamiltonian Cycle Reconfiguration with Answer Set Programming2023
- Author(s)
  T. Hirate, M. Banbara, K. Inoue, X.-N. Lu, H. Nabeshima, T. Schaub, T. Soh, N. Tamura
- Organizer
  The 18th Edition of the European Conference on Logics in Artificial Intelligence
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] 解集合プログラミングを用いたハミルトン閉路遷移問題の解法2023
- Author(s)
  平手貴大, 番原睦則, 井上克巳, 盧暁南, 鍋島英知, 宋剛秀, 田村直之
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] SQL 型制約プログラミングシステム CombSQL+ の複数制約ソルバー連携2023
- Author(s)
  小菅脩司, 酒井正彦, 番原睦則
- Organizer
  第125回人工知能基本問題研究会
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] 解集合プログラミングを用いたハミルトン閉路遷移問題の解法2023
- Author(s)
  平手貴大, 番原睦則, 井上克巳, 盧暁南, 鍋島英知, 宋剛秀, 田村直之
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
- Data Source
  KAKENHI-PROJECT-20H00605
[Presentation] 解集合プログラミングを用いたトークンスライディング型・独立集合遷移問題の解法に関する考察2023
- Author(s)
  髙田和紀, 山田悠也, 番原睦則
- Organizer
  2023年度人工知能学会全国大会 (第37回)
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] 解集合プログラミングを用いたトークンスライディング型・独立集合遷移問題の解法に関する考察2023
- Author(s)
  髙田和紀, 山田悠也, 番原睦則
- Organizer
  2023年度人工知能学会全国大会
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] SQL 型制約プログラミングシステム CombSQL+ の複数制約ソルバー連携2023
- Author(s)
  小菅脩司, 酒井正彦, 番原睦則
- Organizer
  第125回人工知能基本問題研究会
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] 解集合プログラミングを用いた支配集合遷移問題の解法に関する考察2023
- Author(s)
  加藤聖人, 宋剛秀, 田村直之, 番原睦則
- Organizer
  2023年度人工知能学会全国大会(第37回)
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming2023
- Author(s)
  Y. Yamada, M. Banbara, K. Inoue, T. Schaub
- Organizer
  The 18th Edition of the European Conference on Logics in Artificial Intelligence
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] Solving Vehicle Equipment Specification Problems with Answer Set Programming2023
- Author(s)
  Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub
- Organizer
  The 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] 解集合プログラミングを用いたトークンスライディング型・独立集合遷移問題の解法に関する考察2023
- Author(s)
  髙田和紀, 山田悠也, 番原睦則
- Organizer
  2023年度人工知能学会全国大会(第37回)
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] 解集合プログラミングを用いたハミルトン閉路遷移問題の解法2023
- Author(s)
  平手貴大, 番原睦則, 井上克巳, 盧暁南, 鍋島英知, 宋剛秀, 田村直之
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] SAT-based Method for Finding Attractors in Asynchronous Multi-valued Networks2023
- Author(s)
  Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
- Organizer
  Tthe 14th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] 解集合プログラミングを用いた支配集合遷移問題の解法に関する考察2023
- Author(s)
  加藤聖人, 宋剛秀, 田村直之, 番原睦則
- Organizer
  2023年度人工知能学会全国大会 (第37回)
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] 解集合プログラミングを用いた支配集合遷移問題の解法に関する考察2023
- Author(s)
  加藤聖人, 宋剛秀, 田村直之, 番原睦則
- Organizer
  2023年度人工知能学会全国大会
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] 解集合プログラミングを用いたハミルトン閉路遷移問題の解法2023
- Author(s)
  平手貴大, 番原睦則, 井上克巳, 盧暁南, 鍋島英知, 宋剛秀, 田村直之
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] Answer Set Programming を用いた圧縮指標の計算2023
- Author(s)
  クップルドミニク, 番原睦則
- Organizer
  2023年度冬のLAシンポジウム
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] ZDDの区間メモ化探索技法によるコスト制約組合せ問題の高速な解列挙2022
- Author(s)
  湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎
- Organizer
  情報処理学会アルゴリズム研究会, 情処研報, Vol. 2022-AL-187
- Data Source
  KAKENHI-PROJECT-20H00605
[Presentation] A ZDD-Based Method for Exactly Enumerating All Lower-Cost Solutions of Combinatorial Problems2022
- Author(s)
  Shin-Ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa and Yutaro Yamaguchi
- Organizer
  Fifth Workshop on Enumeration Problems and Applications (WEPA-2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] Solving Rep-tile by Computers2022
- Author(s)
  Mutsunori Banbara, Kenji Hashimoto, Takashi, Horiyama, Shin-ichi Minato, Kakeru Nakamura, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno, Norihito Yasuda
- Organizer
  14th Gathering 4 Gardner Conference (2022)
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] 解集合プログラミングを用いたクイーン支配問題の解法に関する一考察2022
- Author(s)
  加藤聖人, 田村直之, 番原睦則
- Organizer
  日本ソフトウェア科学会第39回大会
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] レプ・タイルの定式化を用いた各種ソルバの性能比較2022
- Author(s)
  番原睦則, 橋本健二, 堀山貴史, 湊真一, 中村駆, 西野正彬, 酒井正彦, 上原隆平, 宇野裕之, 安田宜仁
- Organizer
  人工知能学会人工知能基本問題研究会
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] レプ・タイルの定式化を用いた各種ソルバの性能比較2022
- Author(s)
  番原睦則, 橋本健二, 堀山貴史, 湊真一, 中村駆, 西野正彬, 酒井正彦, 上原隆平, 宇野裕之, 安田宜仁
- Organizer
  第16回組合せゲーム・パズル研究集会
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] 解集合プログラミングを用いたクイーン支配問題の解法に関する一考察2022
- Author(s)
  加藤聖人, 田村直之, 番原睦則
- Organizer
  日本ソフトウェア科学会第39回大会
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] 解集合プログラミングを用いた配電網問題の解法2022
- Author(s)
  山田健太郎, 湊真一, 田村直之, 番原睦則
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022)
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] 解集合プログラミングに基づく組合せ遷移ソルバーとその性能評価2022
- Author(s)
  山田悠也, 番原睦則
- Organizer
  日本ソフトウェア科学会第39回大会
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] 解集合プログラミングを用いた優先度付き巨大近傍探索の実装と評価2022
- Author(s)
  桑原和也, 宋剛秀, 田村直之, 番原睦則
- Organizer
  情報処理学会第84回全国大会
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] ZDDの区間メモ化探索技法によるコスト制約組合せ問題の高速な解列挙2022
- Author(s)
  湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎
- Organizer
  情報処理学会アルゴリズム研究会第187回アルゴリズム研究発表会
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] A ZDD-Based Method for Exactly Enumerating All Lower-Cost Solutions of Combinatorial Problems2022
- Author(s)
  Shin-ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi
- Organizer
  5th International Workshop on Enumeration Problems and Applications (WEPA2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H00605
[Presentation] チャネリング制約を用いたalldifferent 制約の SAT 符号化2022
- Author(s)
  小菅脩司, 宋剛秀, 田村直之, 番原睦則
- Organizer
  情報処理学会第84回全国大会 1L-03
- Data Source
  KAKENHI-PROJECT-20H00605
[Presentation] Solving Rep-tile by Computers2022
- Author(s)
  Mutsunori Banbara, Kenji Hashimoto, Takashi, Horiyama, Shin-ichi Minato, Kakeru Nakamura, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno, Norihito Yasuda
- Organizer
  14th Gathering 4 Gardner Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] 解集合プログラミングを用いた独立集合遷移問題の解法に関する考察2022
- Author(s)
  山田悠也, 加藤聖人, 小菅脩司, 竹内頼人, 番原睦則
- Organizer
  2022年度人工知能学会全国大会(第36回)論文集, 4F1-OS-8a-03
- Data Source
  KAKENHI-PROJECT-20H00605
[Presentation] 解集合プログラミングを用いた優先度付き巨大近傍探索の実装と評価2022
- Author(s)
  桑原和也, 宋剛秀, 田村直之, 番原睦則
- Organizer
  情報処理学会第84回全国大会 1L-04
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] A ZDD-Based Method for Exactly Enumerating All Lower-Cost Solutions of Combinatorial Problems2022
- Author(s)
  Shin-Ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa and Yutaro Yamaguchi
- Organizer
  Fifth Workshop on Enumeration Problems and Applications (WEPA-2022)
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] 解集合プログラミングを用いたクイーン支配問題の解法に関する一考察2022
- Author(s)
  加藤聖人, 田村直之, 番原睦則
- Organizer
  日本ソフトウェア科学会第39回大会
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] 解集合プログラミングを用いた配電網問題の解法2022
- Author(s)
  山田健太郎, 湊真一, 田村直之, 番原睦則
- Organizer
  日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022)
- Data Source
  KAKENHI-PROJECT-20H00605
[Presentation] 解集合プログラミングを用いた優先度付き巨大近傍探索の実装と評価2022
- Author(s)
  桑原和也, 宋剛秀, 田村直之, 番原睦則
- Organizer
  情報処理学会第84回全国大会 1L-04
- Data Source
  KAKENHI-PROJECT-20H00605
[Presentation] 解集合プログラミングを用いた独立集合遷移問題の解法に関する考察2022
- Author(s)
  山田悠也, 加藤聖人, 小菅脩司, 竹内頼人, 番原睦則
- Organizer
  2022年度人工知能学会全国大会
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] チャネリング制約を用いたalldifferent 制約の SAT 符号化2022
- Author(s)
  小菅脩司, 宋剛秀, 田村直之, 番原睦則
- Organizer
  情報処理学会第84回全国大会
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] レプ・タイルの定式化を用いた各種ソルバの性能比較2022
- Author(s)
  番原睦則, 橋本健二, 堀山貴史, 湊真一, 中村駆, 西野正彬, 酒井正彦, 上原隆平, 宇野裕之, 安田宜仁
- Organizer
  第16回組合せゲーム・パズル研究集会
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] Solving Rep-tile by Computers2022
- Author(s)
  Mutsunori Banbara, Kenji Hashimoto, Takashi, Horiyama, Shin-ichi Minato, Kakeru Nakamura, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno, Norihito Yasuda
- Organizer
  14th Gathering 4 Gardner Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] ZDDの区間メモ化探索技法によるコスト制約組合せ問題の高速な解列挙2022
- Author(s)
  湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎
- Organizer
  情報処理学会, 第187回アルゴリズム研究発表会
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] 解集合プログラミングを用いた配電網問題の解法2022
- Author(s)
  山田健太郎, 湊真一, 田村直之, 番原睦則
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022)
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] 解集合プログラミングに基づく組合せ遷移ソルバーとその性能評価2022
- Author(s)
  山田悠也, 番原睦則
- Organizer
  日本ソフトウェア科学会第39回大会
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] 解集合プログラミングを用いたクイーン支配問題の解法に関する一考察2022
- Author(s)
  加藤聖人, 田村直之, 番原睦則
- Organizer
  日本ソフトウェア科学会第39回大会講演論文集, 12-L
- Data Source
  KAKENHI-PROJECT-20H00605
[Presentation] 解集合プログラミングに基づく組合せ遷移ソルバーとその性能評価2022
- Author(s)
  山田悠也, 番原睦則
- Organizer
  日本ソフトウェア科学会第39回大会
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] 解集合プログラミングを用いた独立集合遷移問題の解法に関する考察2022
- Author(s)
  山田悠也, 加藤聖人, 小菅脩司, 竹内頼人, 番原睦則
- Organizer
  2022年度人工知能学会全国大会(第36回)
- Data Source
  KAKENHI-PROJECT-22K11973
[Presentation] 解集合プログラミングに基づく組合せ遷移ソルバーとその性能評価2022
- Author(s)
  山田悠也, 番原睦則
- Organizer
  日本ソフトウェア科学会第39回大会講演論文集, 10-L
- Data Source
  KAKENHI-PROJECT-20H00605
[Presentation] チャネリング制約を用いたalldifferent 制約の SAT 符号化2022
- Author(s)
  小菅脩司, 宋剛秀, 田村直之, 番原睦則
- Organizer
  情報処理学会第84回全国大会 1L-03
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] A ZDD-Based Method for Exactly Enumerating All Lower-Cost Solutions of Combinatorial Problems2022
- Author(s)
  Shin-Ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi
- Organizer
  The 5th International Workshop on Enumeration Problems & Applications (WEPA 2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] 解集合プログラミングを用いた多目的車両装備仕様問題の解法2021
- Author(s)
  竹内頼人, 田村直之, 番原睦則
- Organizer
  2021年度人工知能学会全国大会
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] 解集合プログラミングを用いたハミルトン閉路問題の解法に関する考察2021
- Author(s)
  平手貴大, 宋剛秀, 田村直之, 番原睦則
- Organizer
  日本ソフトウェア科学会第38回大会 34-L
- Data Source
  KAKENHI-PROJECT-20H00605
[Presentation] 解集合プログラミングを用いたハミルトン閉路問題の解法に関する考察2021
- Author(s)
  平手貴大, 宋剛秀, 田村直之, 番原睦則
- Organizer
  日本ソフトウェア科学会第38回大会 34-L
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] 解集合プログラミングに基づく系統的探索と確率的局所探索の統合的手法に関する一考察2021
- Author(s)
  桑原和也, 田村直之, 番原睦則
- Organizer
  2021年度人工知能学会全国大会
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] 解集合プログラミングを用いた多目的車両装備仕様問題の解法2021
- Author(s)
  竹内頼人, 田村直之, 番原睦則
- Organizer
  2021年度人工知能学会全国大会(第35回)論文集
- Data Source
  KAKENHI-PROJECT-20H00605
[Presentation] Towards CEGAR-based Parallel SAT Solving2021
- Author(s)
  Takehide Soh, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
- Organizer
  Pragmatics of SAT (PoS 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] 解集合プログラミングに基づく組合せ遷移ソルバーの実装方式に関する考察2021
- Author(s)
  山田悠也, 湊真一, 番原睦則
- Organizer
  日本ソフトウェア科学会第38回大会 46-L
- Data Source
  KAKENHI-PROJECT-21K11828
[Presentation] 解集合プログラミングに基づく組合せ遷移ソルバーの実装方式に関する考察2021
- Author(s)
  山田悠也, 湊真一, 番原睦則
- Organizer
  日本ソフトウェア科学会第38回大会
- Data Source
  KAKENHI-PLANNED-20H05964
[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] 解集合プログラミングを用いたハミルトン閉路問題の解法に関する考察2021
- Author(s)
  平手貴大, 宋剛秀, 田村直之, 番原睦則
- Organizer
  日本ソフトウェア科学会第38回大会
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] 解集合プログラミングに基づく組合せ遷移ソルバーの実装方式に関する考察2021
- Author(s)
  山田悠也, 湊真一, 番原睦則
- Organizer
  日本ソフトウェア科学会第38回大会（2021年度）講演論文集, 46-L
- Data Source
  KAKENHI-PROJECT-20H00605
[Presentation] Towards CEGAR-based Parallel SAT Solving2021
- Author(s)
  Takehide Soh, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
- Organizer
  Pragmatics of SAT (PoS 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H00605
[Presentation] 解集合プログラミングに基づく系統的探索と確率的局所探索の統合的手法に関する一考察2021
- Author(s)
  桑原和也, 田村直之, 番原睦則
- Organizer
  2021年度人工知能学会全国大会(第35回)論文集
- Data Source
  KAKENHI-PROJECT-20H00605
[Presentation] コスト制約つき組合せ問題に対するZDDを用いた高速な解列挙手法2020
- Author(s)
  湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎
- Organizer
  電子情報通信学会コンピュテーション研究会
- Data Source
  KAKENHI-PROJECT-20H00605
[Presentation] 車両装備仕様問題に対する解集合プログラミングの適用2020
- Author(s)
  竹内頼人, 田村直之, 番原睦則
- Organizer
  日本ソフトウェア科学会第37回大会
- Data Source
  KAKENHI-PROJECT-18K11242
[Presentation] 解集合プログラミングを用いた配電網問題の解法に関する一考察2020
- Author(s)
  山田健太郎, 湊真一, 番原睦則
- Organizer
  日本ソフトウェア科学会第37回大会（2020年度）
- Data Source
  KAKENHI-PROJECT-20H00605
[Presentation] コスト制約つき組合せ問題に対するZDDを用いた高速な解列挙手法2020
- Author(s)
  湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎
- Organizer
  電子情報通信学会コンピュテーション研究会
- Data Source
  KAKENHI-PLANNED-20H05964
[Presentation] コスト制約つき組合せ問題に対するZDDを用いた高速な解列挙手法2020
- Author(s)
  湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎
- Organizer
  電子情報通信学会コンピュテーション研究会
- Data Source
  KAKENHI-PROJECT-18K11242
[Presentation] 解集合プログラミングを用いた配電網問題の解法に関する一考察2020
- Author(s)
  山田健太郎, 湊真一, 番原睦則
- Organizer
  日本ソフトウェア科学会第37回大会
- Data Source
  KAKENHI-PROJECT-18K11242
[Presentation] 正規制約に対するSAT符号化手法の提案と評価 (ポスター)2020
- Author(s)
  生田哲也, 田村直之, 宋剛秀, 番原睦則
- Organizer
  第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020)
- Data Source
  KAKENHI-PROJECT-18K11242
[Presentation] 解集合プログラミングによる様相命題論理Kの充足可能性判定2020
- Author(s)
  飯野有軌, 田村直之, 宋剛秀, 番原睦則, 井上克巳
- Organizer
  人工知能学会全国大会(第34回)
- Data Source
  KAKENHI-PROJECT-18K11242
[Presentation] 解集合ソルバーを用いた様相命題論理の充足可能性判定 (ポスター)2020
- Author(s)
  飯野有軌, 田村直之, 宋剛秀, 番原睦則, 井上克巳
- Organizer
  第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020)
- Data Source
  KAKENHI-PROJECT-18K11242
[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] alldifferent制約のブール基数制約への符号化手法の提案とクイーングラフ彩色問題への応用2019
- Author(s)
  大野周亮, 番原睦則, 宋剛秀, 田村直之
- Organizer
  人工知能基本問題研究会(第109回)
- Data Source
  KAKENHI-PROJECT-18K11242
[Presentation] alldifferent制約のブール基数制約への符号化手法の提案とクイーングラフ彩色問題への応用2019
- Author(s)
  大野周亮, 番原睦則, 宋剛秀, 田村直之
- Organizer
  人工知能学会第109回人工知能基本問題研究会
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] 正規制約のSAT符号化とその性能評価2018
- Author(s)
  生田哲也, 田村直之, 番原睦則, 宋剛秀
- Organizer
  日本ソフトウェア科学会第35回大会
- Data Source
  KAKENHI-PROJECT-16H02803
[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-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, 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] 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] SAT ソルバーの進歩2017
- Author(s)
  番原睦則
- Organizer
  2017年電子情報通信学会総合大会
- Place of Presentation
  名城大学 (愛知県・名古屋市)
- Year and Date
  2017-03-22
- Invited
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] 解集合プログラミングを用いた3次元ナンバーリンクソルバー2017
- Author(s)
  坡山直樹, 飯野有軌, 番原睦則, 田村直之
- Organizer
  DAシンポジウム2017
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] 解集合プログラミングによるカリキュラムベース・コース時間割編成2017
- Author(s)
  番原睦則
- Organizer
  第29回RAMPシンポジウム
- Invited
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] SATソルバーの進歩2017
- Author(s)
  番原睦則
- Organizer
  2017年電子情報通信学会総合大会，依頼シンポジウムセッション「AI-1 : 組合せ最適化問題の発見的手法とそのVLSI CADへの応用」
- Invited
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] 解集合プログラミングによるカリキュラムベース・コース時間割編成2017
- Author(s)
  番原睦則
- Organizer
  第29回RAMPシンポジウム
- Invited
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] SAT技術を用いたペトリネットのデッドロック検出手法の提案2017
- Author(s)
  寸田智也, 宋剛秀, 番原睦則, 田村直之
- Organizer
  人工知能学会全国大会(第31回)
- Data Source
  KAKENHI-PROJECT-16H02803
[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] 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] 制約充足問題のASP符号化に関する一考察2017
- Author(s)
  坡山直樹, 番原睦則, 宋剛秀, 田村直之
- Organizer
  第31回人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-16H02803
[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] ブール基数制約を経由した擬似ブール制約のSAT符号化手法2017
- Author(s)
  南雄之, 宋剛秀, 番原睦則, 田村直之
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] ブール基数制約を経由した擬似ブール制約のSAT符号化手法2017
- Author(s)
  南雄之, 宋剛秀, 番原睦則, 田村直之
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-15K00099
[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] SAT から解集合プログラミングへ2017
- Author(s)
  番原睦則
- Organizer
  人工知能学会全国大会(第31回) オーガナイズドセッション「OS-2 SAT技術の理論，実装，応用」
- Invited
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] 制約充足問題のASP符号化に関する一考察2017
- Author(s)
  坡山直樹, 番原睦則, 宋剛秀, 田村直之
- Organizer
  人工知能学会全国大会(第31回)
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] ブール基数制約を経由した擬似ブール制約のSAT符号化法2017
- Author(s)
  南雄之, 宋剛秀, 番原睦則, 田村直之
- Organizer
  人工知能基本問題研究会(第103回)
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] SATから解集合プログラミングへ2017
- Author(s)
  番原睦則
- Organizer
  第31回人工知能学会全国大会オーガナイズドセッション「OS-2 SAT技術の理論，実装，応用」
- Invited
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] 解集合プログラミングを用いた3次元ナンバーリンクソルバー2017
- Author(s)
  坡山直樹, 飯野有軌, 番原睦則, 田村直之
- Organizer
  DAシンポジウム2017
- Data Source
  KAKENHI-PROJECT-16H02803
[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] Diet-Sugar: ハイブリッドSAT符号化を実装したSAT型制約ソルバー2017
- Author(s)
  宋剛秀，番原睦則，田村直之
- Organizer
  第58回プログラミング・シンポジウム
- Data Source
  KAKENHI-PROJECT-16H02803
[Presentation] 解集合プログラミングを用いたナンバーリンクの解法に関する一考察2016
- Author(s)
  坡山直樹, 川原征大, 迫龍哉, 番原睦則
- Organizer
  DAシンポジウム2016
- Data Source
  KAKENHI-PROJECT-16H02803
[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
  日本ソフトウェア科学会第33回大会
- Place of Presentation
  東北大学 (宮城県・仙台市)
- Year and Date
  2016-09-06
- Data Source
  KAKENHI-PROJECT-15K00099
[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
  日本ソフトウェア科学会第33回大会
- Data Source
  KAKENHI-PROJECT-16H02803
[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
  2016年度人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-16H02803
[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
  2016年度人工知能学会全国大会
- 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] 解集合プログラミングを用いたナンバーリンクの解法に関する一考察2016
- Author(s)
  坡山直樹, 川原征大, 迫龍哉, 番原睦則
- Organizer
  DAシンポジウム2016
- Place of Presentation
  ゆのくに天祥 (石川県・加賀市)
- Year and Date
  2016-09-14
- Data Source
  KAKENHI-PROJECT-15K00099
[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] 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-24300007
[Presentation] 組合せテストケース生成問題に対する制約解集合プログラミングの適用2015
- Author(s)
  兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳
- Organizer
  2015年度人工知能学会全国大会(第29回)
- Place of Presentation
  公立はこだて未来大学 (北海道函館市亀田中野町)
- Year and Date
  2015-05-30
- Data Source
  KAKENHI-PROJECT-15K00099
[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
  情報処理学会システムとLSIの設計技術研究会
- Place of Presentation
  山代温泉ゆのくに天祥 (石川県加賀市山代温泉19-49-1)
- Year and Date
  2015-08-26
- Data Source
  KAKENHI-PROJECT-15K00099
[Presentation] \Sigma-Optimal Solutions in Multi-Objective Timetabling2015
- Author(s)
  Maxime Clement, Tenda Okimoto, Katsumi Inoue, and Mutsunori Banbara
- Organizer
  合同エージェントワークショップ&シンポジウム2015論文集 (JAWS 2015)
- Place of Presentation
  山中温泉河鹿荘ロイヤルホテル (石川県加賀市山中温泉河鹿町)
- Year and Date
  2015-09-30
- Data Source
  KAKENHI-PROJECT-15K00099
[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] 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] 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] 制約解集合プログラミングシステムの設計方式に関する考察2014
- Author(s)
  宋剛秀, 則武治樹, 番原睦則, 田村直之, 井上克巳
- Organizer
  日本ソフトウェア科学会第31回大会
- Place of Presentation
  名古屋大学 (愛知県)
- Year and Date
  2014-09-08
- Data Source
  KAKENHI-PROJECT-24300007
[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] Scarab:Scala上で実現された SAT型制約プログラミングシステムのための高速開発ツール2013
- Author(s)
  宋剛秀,田村直之, 番原睦則
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ (PPL 2013),日本ソフトウェア科学会
- Place of Presentation
  福島県会津若松東山温泉御宿東鳳 (福島県会津若松市東山町)
- Year and Date
  2013-03-05
- Data Source
  KAKENHI-PROJECT-22700032
[Presentation] (学生奨励賞受賞)カリキュラムベースのコース時間罰問題の擬似プール最適化問題への符号化2012
- Author(s)
  鈴江美奈,田村直之,番原睦則,宋剛秀,鳩野逸生
- Organizer
  日本ソフトウェア科学会第29回大会
- Place of Presentation
  法政大学(東京都)
- Year and Date
  2012-08-24
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] Azucar:コンパクト順序符号化を用いたSAT型制約ソルバー2012
- Author(s)
  丹生智也, 田村直之, 番原睦則,
- Organizer
  第14回プログラミングおよびプログラミング言語ワークショップ(PPL 2012)
- Place of Presentation
  むさし(和歌山県)
- Year and Date
  2012-03-08
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] 制約充足問題のSAT符号化を用いたパッキング配列の構成2012
- Author(s)
  則武治樹,番原睦則,田村直之,井上克己
- Organizer
  第26回人工知能学会全国大会
- Place of Presentation
  山口県教育会館(山口県)
- Year and Date
  2012-06-12
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] SAT技術を用いた組合せテストケース生成2012
- Author(s)
  番原睦則
- Organizer
  ERATOセミナー, JST ERATO湊離散構造処理系プロジェクト
- Place of Presentation
  関西サテライトラボ(大阪府大阪市北区芝田)
- Year and Date
  2012-07-06
- Data Source
  KAKENHI-PROJECT-22700032
[Presentation] Specific Language Copris for Constraint Programming in Scala2012
- Author(s)
  Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara
- 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] SAT技術を用いた組合せテストケース生成2012
- Author(s)
  番原睦則
- Organizer
  ERATOセミナー, JST ERATO湊離散構造処理系プロジェクト
- Place of Presentation
  大阪市(大阪府)
- Year and Date
  2012-07-06
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] ハミルトン閉路問題のSAT符号化に関する｀研究2012
- Author(s)
  船越泰輔,番原睦則,田村直之
- Organizer
  第26回人工知能学会全国大会
- Place of Presentation
  山口県教育会館(山口県)
- Year and Date
  2012-06-12
- Data Source
  KAKENHI-PROJECT-24300007
[Presentation] Azucar:コンパクト順序符号化を用いたSAT型制約ソルバー2012
- Author(s)
  丹生智也, 田村直之, 番原睦則
- Organizer
  第14回プログラミングおよびプログラミング言語ワークショップ(PPL2012)
- Place of Presentation
  むさし(和歌山県)
- Year and Date
  2012-03-08
- Data Source
  KAKENHI-PROJECT-22700032
[Presentation] Azucar:コンパクト順序符号化を用いたSAT型制約ソルバー2012
- Author(s)
  丹生智也, 田村直之,番原睦則
- Organizer
  第14回プログラミングおよびプログラミング言語ワークショップ (PPL 2012), 日本ソフトウェア科学会
- Place of Presentation
  和歌山県南紀白浜むさし (和歌山県西牟婁郡白浜町)
- Year and Date
  2012-03-08
- Data Source
  KAKENHI-PROJECT-22700032
[Presentation] Generating Event-Sequence Test Cases by Constraint Programming and Answer Set Programming2012
- Author(s)
  Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue, and Hidetomo Nabeshima
- Organizer
  The 2012 CRIL-NII Collaborative Meeting on Reasoning about Dynamic Constraint Networks
- Place of Presentation
  Universite d'Artois, Lens, France
- Year and Date
  2012-11-23
- Data Source
  KAKENHI-PROJECT-22700032
[Presentation] Generating Event-Sequence Test Cass by Constraint Programming and Answer Set Programming2012
- Author(s)
  Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue, Hidetomo Nabeshima
- 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] SAT型制約ソルバーSugarとScalaインターフェイスについて2011
- Author(s)
  田村直之, 丹生智也, 番原睦則
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄産業支援センター(沖縄県)
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] SAT型制約ソルバーSugarとScalaインターフェイスについて2011
- Author(s)
  田村直之, 丹生智也, 番原睦則
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄産業支援センター(沖縄県)
- Year and Date
  2011-09-27
- Data Source
  KAKENHI-PROJECT-22700032
[Presentation] SAT型制約ソルバーSugarについて2011
- Author(s)
  田村直之, 丹生智也, 番原睦則
- Organizer
  第81回人工知能学会人工知能基本問題研究会
- Place of Presentation
  山梨大学(招待講演)
- Year and Date
  2011-01-31
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] 位取り記数法に基づく整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化2011
- Author(s)
  丹生智也, 田村直之, 番原睦則
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄産業支援センター(沖縄県)
- Year and Date
  2011-09-27
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] SAT型制約ソルバーSugarについて2011
- Author(s)
  田村直之, 丹生智也, 番原睦則
- Organizer
  第81回人工知能学会人工知能基本問題研究会
- Place of Presentation
  山梨大学(山梨県)(招待講演)
- Year and Date
  2011-01-31
- Data Source
  KAKENHI-PROJECT-22700032
[Presentation] 位収り記数法に基づく整数有限領域上の制約充足問題のコンパクトかつ効率的SAT符号化2011
- Author(s)
  丹生智也, 田村直之, 番原睦則
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄産業支援センター(沖縄県)
- Year and Date
  2011-09-27
- Data Source
  KAKENHI-PROJECT-22700032
[Presentation] 整数有限領域上の線形制約充足問題のコンパクトかつ効率のなSAT符号化の提案2011
- Author(s)
  丹生智也, 田村直之, 番原睦則
- Organizer
  第81回人工知能学会人工知能基本問題研究会
- Place of Presentation
  山梨大学(山梨県)
- Year and Date
  2011-01-31
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] SAT型制約ソルバーSugarについて2011
- Author(s)
  田村直之, 丹生智也, 番原睦則
- Organizer
  第81回人工知能学会人工知能基本問題研究会
- Place of Presentation
  山梨人学(山梨県)(招待講演)
- Year and Date
  2011-01-31
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] SAT符号化を用いた釣合い型不完備ブロック計画の構成2011
- Author(s)
  松中春樹, 丹生智也, 番原睦則, 田村直之
- Organizer
  2011年度人工知能学会全国大会(JSAI 2011)
- Place of Presentation
  いわて県民情報交流センター(岩手県)
- Year and Date
  2011-06-03
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] 整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化2011
- Author(s)
  丹生智也, 田村直之, 番原睦則
- Organizer
  2011年度人工知能学会全国大会(JSAI-2011)
- Place of Presentation
  アイーナいわて県民情報交流センター(岩手県)
- Year and Date
  2011-06-03
- Data Source
  KAKENHI-PROJECT-22700032
[Presentation] 整数有限領域上の線形制約充足問題のコンパクトかつ効率的なSAT符号化提案2011
- Author(s)
  丹生智也, 田村直之, 番原睦則
- Organizer
  第81回人工知能学会人工知能基本問題研究会
- Place of Presentation
  山梨大学(山梨県)
- Year and Date
  2011-01-31
- Data Source
  KAKENHI-PROJECT-22700032
[Presentation] 整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化2011
- Author(s)
  丹生智也, 田村直之, 番原睦則
- Organizer
  2011年度人工知能学会全国大会(JSAI 2011)
- Place of Presentation
  いわて県民情報交流センター(岩手県)
- Year and Date
  2011-06-03
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] SAT符号化を用いた釣合い型不完備ブロック計画の構成2011
- Author(s)
  松中春樹, 丹生智也, 番原睦則, 田村直之
- Organizer
  2011年度人工知能学会全国大会(JSAI-2011)
- Place of Presentation
  アイーナいわて県民情報交流センター(岩手県)
- Year and Date
  2011-06-03
- Data Source
  KAKENHI-PROJECT-22700032
[Presentation] SAT型制約ソルバーSugarについて2011
- Author(s)
  田村直之, 丹生智也, 番原睦則
- Organizer
  第81回人工知能学会人工知能基本問題研究会
- Place of Presentation
  山梨大学
- Year and Date
  2011-01-31
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] SAT技術を用いた組合せテストケース生成2010
- Author(s)
  番原睦則, 松中春樹, 田村直之, 井上克巳
- Organizer
  日本ソフトウェア科学会第27回大会
- Place of Presentation
  津田塾大学(東京都)
- Year and Date
  2010-09-13
- Data Source
  KAKENHI-PROJECT-22700032
[Presentation] Solving Constraint Satisfaction Problems with SAT Technology2010
- Author(s)
  N. Tamura, T. Tanjo, M. Banbara
- Organizer
  10th Int' l Symp. on Functional and Logic Programming
- Place of Presentation
  東北大学(宮城県)
- Year and Date
  2010-04-19
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] Solving Constraint Satisfaction Problems by a SAT Solver2010
- Author(s)
  N.Tamura, T.Tanjo, M.Banbara
- Organizer
  Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Program-ming Environments (CICLOPS-WLPE 2010)
- Place of Presentation
  Edinburgh (Scotland)(招待講演)
- Year and Date
  2010-07-15
- Data Source
  KAKENHI-PROJECT-22700032
[Presentation] SAT技術を用いた組合せテストケース生成2010
- Author(s)
  番原睦則, 松中春樹, 田村直之, 井上克巳
- Organizer
  日本ソフトウェア科学会第27回大会
- Place of Presentation
  津田塾大学(東京都)
- Year and Date
  2010-09-13
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] Solving Constraint Satisfaction Problems with SAT Technology2010
- Author(s)
  N.Tamura, T.Tanjo, M.Banbara
- Organizer
  10th Int'l Symp.on Functional and Logic Programming (FLOPS 2010)
- Place of Presentation
  東北大学(宮城県)(招待講演)
- Year and Date
  2010-04-19
- Data Source
  KAKENHI-PROJECT-22700032
[Presentation] Solving Constraint Satisfactions Problems with SAT Technology2010
- Author(s)
  N.Tamura, T.Tanjo, N.Banbara
- Organizer
  10th Int'l Symp. on Functional and Logic Programming (FLOPS 2010)
- Place of Presentation
  東北大学(宮城県)(招待講演)
- Year and Date
  2010-04-19
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] Solving Constraint Satisfaction Problems by a SAT Solver2010
- Author(s)
  N.Tamura, T.Tanjo, M.Banbara
- Organizer
  Joint Workshop on Implementation of Constraint Logic Programming Systerns and Logic-based Methods in Prograrmming Environments
- Place of Presentation
  Edinburgh (Scotland)(招待講演)
- Year and Date
  2010-07-15
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] Solving Constraint Satisfaction Problems with SAT Technology2010
- Author(s)
  N.Tamura, T.Tanjo, M.Banbara
- Organizer
  10th Int'l Symp.on Functional and Logic Programming
- Place of Presentation
  東北大学(宮城県)(招待講演)
- Year and Date
  2010-04-19
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] Towards a Compact and Efficient SAT-Encoding of Finite Linear CSP2010
- Author(s)
  T.Tanjo, N.Tamura, M.Banbara
- Organizer
  9th Int'l Workshop on Constraint Modelling and Reformulation (ModRef 2010)
- Place of Presentation
  St.Andrews (Scotland)
- Year and Date
  2010-09-06
- Data Source
  KAKENHI-PROJECT-22700032
[Presentation] Solving Constraint Satisfaction Problems by a SAT Solver2010
- Author(s)
  N. Tamura, T. Tanjo, M. Banbara
- Organizer
  Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments
- Place of Presentation
  Edinburgh(Scotland)
- Year and Date
  2010-07-15
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] Solving Constraint Satisfaction Problems by a SAT Solver2010
- Author(s)
  N.Tamura, T.Tanjo, M.Banbara
- Organizer
  Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments(CICLOPS-WLPE 2010)
- Place of Presentation
  Edinburgh (Scotland)(招待講演)
- Year and Date
  2010-07-15
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] 制約充足問題のSAT変換とグラフ彩色問題への応用2009
- Author(s)
  丹生智也, 田村直之, 番原睦則
- Organizer
  日本ソフトウェア科学会第26回大会
- Place of Presentation
  島根大学(島根県)
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] SAT変換に基づく制約ソルバーSugar2009
- Author(s)
  番原睦則, 丹生智也, 田村直之
- Organizer
  第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
- Place of Presentation
  高山グリーンホテル
- Year and Date
  2009-03-10
- Data Source
  KAKENHI-PROJECT-19700025
[Presentation] SAT変換に基づく制約ソルバーSugar2009
- Author(s)
  番原睦則
- Organizer
  第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
- Place of Presentation
  高山グリーンホテル
- Year and Date
  2009-03-10
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] 制約充足問題のSAT変換とグラフ彩色問題への応用2009
- Author(s)
  丹生智也, 田村直之, 番原睦則
- Organizer
  日本ソフトウェア科学会第26回大会
- Place of Presentation
  島根大学(島根県)
- Data Source
  KAKENHI-PROJECT-19700025
[Presentation] PrologからJavaへのトランスレータ処理系の設計と実装2009
- Author(s)
  丹生智也, 番原睦則, 田村直之
- Organizer
  第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
- Place of Presentation
  高山グリーンホテル
- Year and Date
  2009-03-10
- Data Source
  KAKENHI-PROJECT-19700025
[Presentation] 制約充足問題のSAT変換とクセラフ彩色問題への応用2009
- Author(s)
  丹生智也, 田村直之, 番原睦則
- Organizer
  日本ンフトウェア科学会第26回大会
- Place of Presentation
  島根大学(島根県)
- Data Source
  KAKENHI-PROJECT-19700025
[Presentation] グリッド計算環境上でのショップ・スケジューリング問題のSAT変換による解法2007
- Author(s)
  多賀明子, 田村直之, 北川哲, 番原睦則, 田村直之
- Organizer
  スケジューリング・シンポジウム
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-19700025
[Presentation] Sugar:SAT変換による制約解消システムのデモ2007
- Author(s)
  田島宏史, 多賀明子, 丹生智也, 田村直之, 番原睦則
- Organizer
  日本ソフトウェア科学会第24回大会
- Place of Presentation
  奈良先端科学技術大学院大学
- Data Source
  KAKENHI-PROJECT-19700025
[Presentation] Solving SAT-encoded Shop Scheduling Problems on Grid Computing Environment2007
- Author(s)
  A. Taga, N. Tamura. S. Kitagawa, M. Banbara
- Organizer
  Scheduling Symposium 2007
- Place of Presentation
  Kyoto
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500094
[Presentation] Prolog Cafe:PrologからJavaへのトランスレータ処理系のデモ2007
- Author(s)
  丹生智也, 田村直之, 番原睦則
- Organizer
  日本ソフトウェア科学会第24回大会
- Place of Presentation
  良先端科学技術大学院大学
- Data Source
  KAKENHI-PROJECT-19700025
[Presentation] ショップ・スケジューリング問題のSAT変換による解法2007
- Author(s)
  田村直之, 多賀明子, 番原睦則, 宋剛秀, 鍋島英知, 井上克己
- Organizer
  スケジューリング・シンポジウム
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-19700025
[Presentation] Solving Shop Schedul-ing Problems by SAT encoding2007
- Author(s)
  N. Tamura., A. Taga, M. Banbara, T. Soh, H. Nabeshima, K. Inoue
- Organizer
  Scheduling Symposium 2007
- Place of Presentation
  Kyoto
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500094
[Presentation] g-Hecs: A heteroge-neous constraint solving system on the Grid2005
- Author(s)
  N. Tamura, M. Banbara
- Organizer
  2nd Franco-Japanese Workshop on Constraint Programming
- Place of Presentation
  Le Croisic, France
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500094
[Presentation] Generating Event-Sequence Test Cases by Constraint Programming and Answer Set Programming
- Author(s)
  Mutsunori Banbara
- Organizer
  The 2012 CRIL-NII Collaborative Meeting on Reasoning about Dynamic Constraint Networks
- Place of Presentation
  University of Artois (Lens, France)
- Data Source
  KAKENHI-PROJECT-22700032
[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] SAT 技術を用いた組合せテストケース生成
- Author(s)
  番原睦則
- Organizer
  ERATO セミナー, JST ERATO 湊離散構造処理系プロジェクト
- Place of Presentation
  JST ERATO 湊離散構造処理系プロジェクト, 関西サテライトラボ (大阪府)
- Data Source
  KAKENHI-PROJECT-22700032
[Presentation] 正方形詰込み問題の制約モデルとSAT符号化を用いた解法
- Author(s)
  佐古田淳史, 宋剛秀, 番原睦則, 田村直之
- Organizer
  2013年度人工知能学会全国大会
- 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] 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] Scala 上で実現されたSAT型制約プログラミングシステムのための開発ツール Scarab について
- Author(s)
  宋剛秀, 番原睦則, 田村直之, Daniel Le Berre, Stéphanie Roussel
- Organizer
  日本ソフトウェア科学会第30回大会
- 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] パッキング配列問題の制約モデリングとSAT符号化
- Author(s)
  則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-24300007

1. TAMURA Naoyuki (60207248)

# of Collaborated Projects: 11 results

# of Collaborated Products: 168 results
2. SOH Takehide (00625121)

# of Collaborated Projects: 6 results

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

# of Collaborated Projects: 4 results

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

# of Collaborated Projects: 3 results

# of Collaborated Products: 9 results
5. 湊真一 (10374612)

# of Collaborated Projects: 3 results

# of Collaborated Products: 16 results
6. TAKAHASHI Makoto (50154860)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. 堀山貴史 (60314530)

# of Collaborated Projects: 2 results

# of Collaborated Products: 10 results
8. 上原隆平 (00256471)

# of Collaborated Projects: 2 results

# of Collaborated Products: 5 results
9. 川原純 (20572473)

# of Collaborated Projects: 2 results

# of Collaborated Products: 4 results
10. HIRAYAMA Katsutoshi (00273813)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. IWANUMA Koji (30176557)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. YAMAMOTO Yoshitaka (30550793)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. YOKOO Makoto (20380678)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. HASEGAWA Ryuzo (20274483)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. FUJITA Hiroshi (70284552)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. KISHIMURA Miyuki (30274492)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. UEDA Kazunori (10257206)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. TANJO Tomoya (40635067)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
19. OKIMOTO Tenda (10632432)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 宇野裕之 (60244670)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
21. 松井泰子 (10264582)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. 稲永俊介 (60448404)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. 竹田正幸 (50216909)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. 瀧川一学 (10374597)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
25. 山口勇太郎 (30780895)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

BANBARA MUTSUNORI 番原 睦則

BANBARA Mutsunori 番原 睦則

Research Projects

Research Products

Co-Researchers

解集合プログラミングに基づく組合せ遷移問題の汎用解法と遷移最適化への拡張Principal 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

Research and Development on SAT-based Integration of Systematic and Stochastic SearchPrincipal 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

Research and Development on Multi-objective Optimization Solver based on Advanced Knowledge Representation and Reasoning TechniquesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research and Development on Constraint Answer Set Programming Using SAT EncodingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Automatic Test Case Generation for Combinatorial Testing Using Various Logical Inference EnginesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Prolog-Based Parallel Execution System for Multiple SAT SolversPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

BANBARA MUTSUNORI 番原睦則

BANBARA Mutsunori 番原睦則