• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

TAMURA NAOYUKI  田村 直之

… Alternative Names

TAMURA Naoyuki  田村 直之

Less
Researcher Number 60207248
Other IDs
  • ORCIDhttps://orcid.org/0000-0002-5466-1010
External Links
Affiliation (Current) 2025: 神戸大学, DX・情報統括本部, 名誉教授
Affiliation (based on the past Project Information) *help 2022 – 2023: 神戸大学, DX・情報統括本部, 名誉教授
2016 – 2021: 神戸大学, 情報基盤センター, 教授
2015: 神戸大学, 学内共同利用施設等, 教授
2010 – 2014: Kobe University, 情報基盤センター, 教授
2003 – 2009: Kobe University, Information center, Professor, 学術情報基盤センター, 教授 … More
2005: Kobe University, Information Science and Technology Center, Professor, 学術基盤研究センター, 教授
2003 – 2004: Kobe University, Department of Computer and Systems Engineering, Professor, 工学部, 教授
1997 – 2003: 神戸大学, 工学部, 助教授
1995: Kobe University Graduate School of Science and Technology associate professor, 自然科学研究科, 助教授
1992 – 1994: 神戸大学, 工学部, 助教授
1989 – 1991: 神戸大学, 工学部, 講師 Less
Review Section/Research Field
Principal Investigator
Software / 計算機科学 / Basic Section 60050:Software-related / Software / Intelligent informatics
Except Principal Investigator
計算機科学 / Basic Section 60050:Software-related / Software / Software / Engineering fundamentals … More / Intelligent informatics / 計算機工学 / 解析学 / Geometry Less
Keywords
Principal Investigator
制約プログラミング / SATソルバー / 制約充足問題 / 命題論理 / 充足可能性判定問題 / 線形論理 / 充足可能性問題 / SAT技術 / 制約ソルバー / 情報システム … More / Parallel Computing / Grid Computing / Constraint Satisfaction Problems / グリッド / 制約解消 / 並列計算 / グリッド計算 / Theorem Proving / Automated Reasoning / Automated Deduction / Linear Logic / 定理証明 / 自動証明 / 自動演繹 / 計算機システム / 並列処理・分散処理 / 制約最適化問題 / SAT / 静的解析 / 論理型言語 / ファジィ論理 / 制約論理型プログラミング言語 / 論理型プログラミング言語 … More
Except Principal Investigator
Prolog / 解集合プログラミング / 線形論理 / マルチエージェント / 時間割問題 / 証明論 / 実時間システム / 形式検証 / 形式仕様 / 論理的手法 / 数理論理学 / Linear Logic / classical proof execution / 学習理論 / 車両装備仕様問題 / 組合せ最適化問題 / 命題論理の充足可能性判定(SAT) / 巨大近傍探索 / 組合せ最適化 / 多目的最適化 / 最適化 / SAT / SAT技術 / 制約プログラミング / proof theory / real-time system / formal verification / formal specification / linear logic / logical method / set theory of uncertainty ZF^± / uncertain classification / Abstract design theory / Informatign flow / 設計論 / 不確定集合論ZF^± / 不確定分類 / 抽象設計論 / 情報の流れ / Proof Search / Formal Verification / Formal Specification / Real Time Systems / mathematical logic / Inductive inference / 非構成的原理 / 非構成的論理 / 極限計算 / 形式的技法 / 形式的証明 / 古典論理証明実行 / inductive inference / Compiler / Intuitionism / Logic Programming Language / Temporal Logic / Temporal Linear Logic / 時相腺形論理 / コンパイラ / 直観主義 / 論理型言語 / 時相論理 / 時相線形論理 / learning theory / program logic / program verification / constructive programming / Curry-Howardの対応 / 古典論理証明の実行 / 論理情報の視覚化 / 定理証明 / 形式的証明の開発 / Workstation network / Field / Agent / Multi-agent / Distributed computing / 並列処理 / 協調処理 / ワークステーションネットワーク / リ-クステーションネットワーク / 場 / エージェント / 分散協調処理 / knowledge base / relational database / processor array / data base machine / 関係ベ-タ・ベ-ス / デ-タ・ベ-スマシン / 関係デ-タベ-ス / 知識ベ-ス / デ-タベ-スマシン / 関係データベース / 知識ベース / プロセッサアレイ / データベースマシン / JAVA / 協調計算 / 拡張Prolog言語 / プロログの言語 / ファジ-数 / 検定問題 / フィードバック制御 / 安定化理論 / 同定問題 / 制御理論 / 分布定数系 / quasi-order / R-regular / cancellatuie / frame / injective / lattice / semimodule / semiring / マルチエージェントシステムソフトウェアプロセス / 協調システム / 論理プログラミング / ソフトウェアプロセス Less
  • Research Projects

    (25 results)
  • Research Products

    (212 results)
  • Co-Researchers

    (44 People)
  •  Research and Development of a New SAT Solving Technologies for Constraint Satisfaction ProblemsPrincipal Investigator

    • Principal Investigator
      田村 直之
    • Project Period (FY)
      2022 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Kobe University
  •  Research and Development on SAT-based Integration of Systematic and Stochastic Search

    • Principal Investigator
      BANBARA Mutsunori
    • Project Period (FY)
      2021 – 2023
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Nagoya University
  •  Research and Development on Multi-objective Optimization Solver based on Advanced Knowledge Representation and Reasoning Techniques

    • Principal Investigator
      Banbara Mutsunori
    • Project Period (FY)
      2018 – 2020
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Nagoya University
  •  Research and Development of a New Constraint Programming System based on SATPrincipal Investigator

    • Principal Investigator
      Tamura Naoyuki
    • Project Period (FY)
      2016 – 2018
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Kobe University
  •  Research and Development on Constraint Answer Set Programming Using SAT Encoding

    • Principal Investigator
      BANBARA Mutsunori
    • Project Period (FY)
      2015 – 2017
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Kobe University
  •  Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference TechniquesPrincipal Investigator

    • 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
  •  Study of SAT-based constraint optimization problem solving and its parallel distributed processingPrincipal Investigator

    • 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
  •  Research on a Parallel Constraint Solver System on a Grid Computing EnvironmentPrincipal Investigator

    • 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
  •  New development in the matured linear logic research and its applications

    • Principal Investigator
      OKADA Mituhiro
    • Project Period (FY)
      2003 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Keio University
  •  Research of Automated Deduction System for Linear LogicPrincipal Investigator

    • Principal Investigator
      TAMURA Naoyuki
    • Project Period (FY)
      2002 – 2004
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Kobe University
  •  Logic of Limit Computing and its Applications

    • Principal Investigator
      HAYASHI Susumu
    • Project Period (FY)
      2001 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Kobe University
  •  International collaborative studies on a logical specification and verification language.

    • Principal Investigator
      OKADA Mitsuhiro
    • Project Period (FY)
      2001 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Keio University
  •  The construction of Abstract Design Theory and its development

    • Principal Investigator
      KAKUDA Yuzuru
    • Project Period (FY)
      2001 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Engineering fundamentals
    • Research Institution
      KOBE UNIVERSITY
  •  Design and system development of a programming language based on a temporal linear logicPrincipal Investigator

    • Principal Investigator
      TAKAHASHI Makoto, 田村 直之
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      KOBE UNIVERSITY
  •  古典線形論理に基づいた論理型言語に関する研究Principal Investigator

    • Principal Investigator
      田村 直之
    • Project Period (FY)
      1998
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (A)
    • Research Institution
      Kobe University
  •  マルチエージェントの協調による発展可能型ソフトウェアの実現

    • Principal Investigator
      金田 悠紀夫
    • Project Period (FY)
      1998
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (A)
    • Research Institution
      Kobe University
  •  Proof Animation -testing proofs by constructive programming-

    • Principal Investigator
      HAYASHI Susumu
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (B).
    • Research Field
      計算機科学
    • Research Institution
      Kobe University
  •  マルチエージェントの協調に基づく発展可能型ソフトウェアの具現化

    • Principal Investigator
      金田 悠紀夫
    • Project Period (FY)
      1997
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Kobe University
  •  分布定数系の制御,観測,同定問題の理論的および数値解析的研究

    • Principal Investigator
      中桐 信一
    • Project Period (FY)
      1994
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      解析学
    • Research Institution
      Kobe University
  •  ファジィ制約を取り扱うプログラミング言語についての研究Principal Investigator

    • Principal Investigator
      田村 直之
    • Project Period (FY)
      1994
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Kobe University
  •  Multi-agent system description programming language system based on workstation cluster type parllel computer system

    • Principal Investigator
      KANEDA Yukio
    • Project Period (FY)
      1994 – 1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Intelligent informatics
    • Research Institution
      Kobe University
  •  半加群のホモロジー代数

    • Principal Investigator
      高橋 典大
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Geometry
    • Research Institution
      Kobe University
  •  論理プログラミングにおけるソフトウェア構成プロセスのモデル化に関する研究

    • Principal Investigator
      金田 悠紀夫
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Kobe University
  •  論理プログラミングにおけるソフトウェア構成プロセスのモデル化に関する研究

    • Principal Investigator
      KANEDA Yukio
    • Project Period (FY)
      1991
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Kobe University
  •  Research on one dimensional processor array type data base machine

    • Principal Investigator
      KANEDA Yukio
    • Project Period (FY)
      1989 – 1990
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機工学
    • Research Institution
      Kobe University

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 Other

All Journal Article Presentation Book

  • [Book] The Art of Computer Programming Volume 4B Combinatorial Algorithms Part 2 日本語版2023

    • Author(s)
      Donald E. Knuth 著、和田英一 監訳、岩崎英哉 訳、田村直之 訳、寺田実 訳
    • Total Pages
      728
    • Publisher
      カドカワ ドワンゴ
    • ISBN
      9784048931144
    • Data Source
      KAKENHI-PROJECT-22K11973
  • [Book] The Art of Computer Programming Volume 4B Combinatorial Algorithms Part 2 日本語版2023

    • Author(s)
      Donald E.Knuth、和田 英一、岩崎 英哉、田村 直之、寺田 実
    • Total Pages
      728
    • Publisher
      ドワンゴ
    • ISBN
      9784048931144
    • Data Source
      KAKENHI-PROJECT-21K11828
  • [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] 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] 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] 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] 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] 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] 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] A SAT Encoding of Pseudo-Boolean Constraints via Boolean Cardinality Constraints2018

    • Author(s)
      南雄之, 宋剛秀, 番原睦則, 田村直之
    • Journal Title

      Computer Software

      Volume: 35 Issue: 3 Pages: 3_65-3_78

    • DOI

      10.11309/jssst.35.3_65

    • NAID

      130007487601

    • ISSN
      0289-6540
    • Year and Date
      2018-07-25
    • Language
      Japanese
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-18K11242, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-16K16036
  • [Journal Article] sCOP: SAT-based Constraint Programming System2018

    • Author(s)
      Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
    • Journal Title

      Proceedings of XCSP3 Competition 2018

      Volume: なし Pages: 93-94

    • Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Journal Article] SATソルバーの最新動向と利用技術2018

    • Author(s)
      宋 剛秀, 番原 睦則, 田村 直之, 鍋島 英知
    • Journal Title

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

      Volume: 35(4) Pages: 72-92

    • NAID

      130007552525

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Journal Article] 小特集「LSIの配線問題―DAシンポジウムの配線問題解法コンテスト」: SATを用いた解法2018

    • Author(s)
      松永 裕介,田村 直之
    • Journal Title

      情報処理

      Volume: 59(3) Pages: 232238-232238

    • 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] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2018

    • Author(s)
      Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
    • Journal Title

      Annals of Operations Research

      Volume: - Issue: 1 Pages: 3-37

    • DOI

      10.1007/s10479-018-2757-7

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-17H01790, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-18K11242, KAKENHI-PROJECT-17H00763
  • [Journal Article] SAT技術を用いたペトリネットのデッドロック検出手法の提案2018

    • Author(s)
      寸田智也, 宋剛秀, 番原睦則, 田村直之, 井上克巳
    • Journal Title

      情報処理学会論文誌

      Volume: 59(9) Pages: 1749-1760

    • NAID

      130007425532

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18K11242
  • [Journal Article] Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation2017

    • Author(s)
      Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre
    • Journal Title

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

      Volume: 10416 Pages: 596-614

    • DOI

      10.1007/978-3-319-66158-2_38

    • ISBN
      9783319661575, 9783319661582
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-15K00099
  • [Journal Article] SAT-based Constraint Programming Systems and Related Technologies2017

    • Author(s)
      宋剛秀, 番原睦則, 田村直之
    • Journal Title

      Computer Software

      Volume: 34 Issue: 1 Pages: 1_67-1_80

    • DOI

      10.11309/jssst.34.1_67

    • NAID

      130006855237

    • ISSN
      0289-6540
    • Language
      Japanese
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803
  • [Journal Article] Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings2017

    • Author(s)
      Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
    • Journal Title

      International Journal on Artificial Intelligence Tools

      Volume: 26(1) Issue: 01 Pages: 1760005-1760005

    • DOI

      10.1142/s0218213017600053

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-15K00099
  • [Journal Article] catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming2017

    • Author(s)
      Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura
    • Journal Title

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

      Volume: 10377 Pages: 265-278

    • DOI

      10.1007/978-3-319-61660-5_24

    • ISBN
      9783319616599, 9783319616605
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-17H00763
  • [Journal Article] 解集合プログラミングによるカリキュラムベース・コース時間割編成2017

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

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

      Volume: - Pages: 73-88

    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Journal Article] 解集合プログラミングによるカリキュラムベース・コース時間割編成2017

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

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

      Volume: - Pages: 73-88

    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00099
  • [Journal Article] SATとパズル2016

    • Author(s)
      田村直之, 宋剛秀, 番原睦則
    • Journal Title

      情報処理

      Volume: 57(8) Pages: 710-715

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15K00099
  • [Journal Article] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2016

    • Author(s)
      Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Philipp Wanko
    • Journal Title

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

      Volume: -

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Journal Article] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2016

    • Author(s)
      Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Philipp Wanko
    • Journal Title

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

      Volume: - Pages: 13-32

    • Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00099
  • [Journal Article] An Incremental SAT Solving Library and its Applications2016

    • Author(s)
      迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳
    • Journal Title

      Computer Software

      Volume: 33 Issue: 4 Pages: 4_16-4_29

    • DOI

      10.11309/jssst.33.4_16

    • NAID

      130005290581

    • ISSN
      0289-6540
    • Language
      Japanese
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-26330248, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803
  • [Journal Article] SATとパズル2016

    • Author(s)
      田村 直之, 宋 剛秀, 番原 睦則
    • Journal Title

      情報処理

      Volume: 57(8)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Journal Article] 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] 位取り記数法に基づく整数有限傾域上の制約充足問題のコンパクトかつ効率的な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 Systems (Tool Paper)2013

    • Author(s)
      Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
    • Journal Title

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

      Volume: 掲載確定(掲載確定)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Journal Article] PBSugar: Compiling Pseudo-Boolean Constraints to SAT with Order Encoding2013

    • Author(s)
      Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh
    • Journal Title

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

      Volume: なし Pages: 1020-1027

    • DOI

      10.1109/ictai.2013.153

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
  • [Journal Article] Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming2013

    • Author(s)
      Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Matthias Weise
    • Journal Title

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

      Volume: なし Pages: 33-48

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Journal Article] Answer Set Programming as a Modeling Language for Course Timetabling2013

    • Author(s)
      Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue and Torsten Schaub
    • Journal Title

      Theory and Practice of Logic Programming

      Volume: 13(4-5) Issue: 4-5 Pages: 783-798

    • DOI

      10.1017/s1471068413000495

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
  • [Journal Article] Scarab: A Rapid Prototyping Tool for SAT-based Constraint Programming Systems2013

    • Author(s)
      Takehide Soh, Naoyuki Tamura, and Mutsunori Banbara
    • Journal Title

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

      Volume: なし Pages: 429-436

    • DOI

      10.1007/978-3-642-39071-5_34

    • ISBN
      9783642390708, 9783642390715
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-25730042
  • [Journal Article] 直観主義線形論理型言語LLPとそのコンパイラ処理系2013

    • Author(s)
      田村直之,番原睦則
    • Journal Title

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

      Volume: 30 Pages: 83-89

    • NAID

      10031151476

    • 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] 私のブックマーク: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

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

    • NAID

      130004549288

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [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] 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] 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] 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] 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] 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

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

      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] SAT変換に基づく制約ソルバーとその性能評価2010

    • Author(s)
      田村直之, 丹生智也, 番原睦則
    • Journal Title

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

      Pages: 183-196

    • NAID

      130004549193

    • 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: 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: 56-56

    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] SATによるシステム検証2010

    • Author(s)
      番原睦則, 田村直之
    • Journal Title

      人工知能学会誌 25・1

      Pages: 122-129

    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] SATソルバーの基礎2010

    • Author(s)
      井上克巳, 田村直之
    • Journal Title

      人工知能学会誌 25・1

      Pages: 57-67

    • 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] 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 SAT2009

    • Author(s)
      Naoyuki Tamura
    • Journal Title

      Constraints Vol. 14, Issue 2

      Pages: 254-272

    • NAID

      120000944873

    • 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 Vol.27

      Pages: 254-272

    • NAID

      120000944873

    • Data Source
      KAKENHI-PROJECT-20240003
  • [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] Sugar: A CSP to SAT Translator Based on Order Encoding2008

    • Author(s)
      Naoyuki Tamura
    • Journal Title

      Proceedings of the Second International CSP Solver Competition

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17500094
  • [Journal Article] System Description of a SAT-based CSP Solver Sugar2008

    • Author(s)
      Naoyuki Tamura
    • Journal Title

      Third International CSP Solver Competition

      Pages: 71-75

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [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] 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 : Java上で動作するProlog処理系2006

    • Author(s)
      田村直之, 番原睦則
    • Journal Title

      人工知能学会学会誌 21・4

      Pages: 1-8

    • Data Source
      KAKENHI-PROJECT-17500094
  • [Journal Article] Compiling Finite Linear CSP into SAT2006

    • Author(s)
      N.Tamura 他
    • Journal Title

      Proc. CP 2006

      Pages: 590-603

    • NAID

      120000944873

    • 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] Compiling Finite Linear CSP into SAT2006

    • Author(s)
      Naoyuki Tamura
    • Journal Title

      Proceedings of the 12th International Conference on Principles Practice of Constraint Programming (CP 2006)

      Pages: 590-603

    • NAID

      120000944873

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17500094
  • [Journal Article] Compiling finite linear CSP into SAT2006

    • Author(s)
      N. Tamura, A. Taga, S., Kitagawa, M.M Ban-bara
    • Journal Title

      Proc. of the 12th International Conference on Principles and Practice of Constraint Programming(CP 2006)

      Pages: 590-603

    • NAID

      120000944873

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17500094
  • [Journal Article] OR制約を含む組合せ最適化問題に対する制約プログラミング技術を用いた汎用的局所探索の実現2005

    • Author(s)
      大西秀志, 田村直之
    • Journal Title

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

      Pages: 179-185

    • NAID

      130005006573

    • Data Source
      KAKENHI-PROJECT-17500094
  • [Journal Article] Calc/Cream : OpenOffice spreadsheet front-end for constraint programming (Invited Tutorial)2005

    • Author(s)
      Naoyuki Tamura
    • Journal Title

      Proc.INAP 2005

      Pages: 1-6

    • Data Source
      KAKENHI-PROJECT-17500094
  • [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] Calc/Cream: OpenOffice spreadsheet front-end for constraint programming(invited tu-torial)2005

    • Author(s)
      N. Tamura
    • Journal Title

      Proc. of the 16th International Conference on Applications of Declarative Programming and Knowledge Management(INAP 2005)

      Pages: 1-6

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17500094
  • [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] Calc/Cream: OpenOffice spreadsheet front-end for constraint programming2005

    • Author(s)
      Naoyuki Tamura
    • Journal Title

      {Lecture Notes in Computer Science 4369: Proceedings of the 16 International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005)

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • 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] 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] 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] a constraint solving system on the Grid2005

    • Author(s)
      M. Kawatani, M. Nakagawa, A. Shiga, S. Kita-gawa, S. Ohnishi, M. banhara, N. Tamura, i, Hecs
    • Journal Title

      Proc. of the 16th International Conference on Applications of Declarative Programming anti Knowledge Management,(INAP 2005)

      Pages: 191-199

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17500094
  • [Journal Article] A general method us-ing constraint programming techniques to apply local search to combinatorial optimization prob-lems containing OR constraints2005

    • Author(s)
      S. Olmishi, N. Tamura
    • Journal Title

      Computer Software Vol. 22, No. 3

      Pages: 179-185

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17500094
  • [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] 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム2005

    • Author(s)
      田村直之, 番原睦則
    • Journal Title

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

      Pages: 98-103

    • NAID

      130005006638

    • 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] 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム2004

    • Author(s)
      田村直之, 番原睦則
    • Journal Title

      日本ソフトウェア科学会第20回全国大会

    • NAID

      130005006638

    • 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

      Workshop on Proof Theory and its Applications, 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] 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] 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:線形論理型言語コンパイラ処理系を用いた定理証明システム2003

    • Author(s)
      田村直之, 番原睦則
    • Journal Title

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

      Pages: 90-96

    • NAID

      130006949877

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14580375
  • [Journal Article] Linear Logic and Logic Programming [Special Invited Paper]2002

    • Author(s)
      N.Tamura
    • Journal Title

      Technical Report of the Institute of Electronics, Information and Communication Engineers 102-91

      Pages: 37-42

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-14580375
  • [Journal Article] [特別招待論文]線形論理と論理プログラミング2002

    • Author(s)
      田村直之
    • Journal Title

      電子情報通信学会技術研究報告 102・91

      Pages: 37-42

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14580375
  • [Journal Article] A competitive and cooper-ative approach to propositional satisfiability -

    • Author(s)
      K. Inoue, T. Soh, S. Ueda, Y. S, sanra, M.M Ban-bara, N. Tamura
    • Journal Title

      Discrete Applied Mathematics Vol. 154, No. 16

      Pages: 2291-2306

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17500094
  • [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] 解集合プログラミングを用いた支配集合遷移2024

    • Author(s)
      加藤聖人, 宋剛秀, 田村直之, 番原睦則
    • Organizer
      第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
    • Data Source
      KAKENHI-PROJECT-22K11973
  • [Presentation] heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装2024

    • Author(s)
      杉森唯瑠未, 宋剛秀, 田村直之, 井上克巳, 鍋島英知, 番原睦則
    • Organizer
      第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) ポスター発表
    • Data Source
      KAKENHI-PROJECT-21K11828
  • [Presentation] 解集合プログラミングを用いた支配集合遷移2024

    • Author(s)
      加藤聖人, 宋剛秀, 田村直之, 番原睦則
    • Organizer
      第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
    • Data Source
      KAKENHI-PROJECT-21K11828
  • [Presentation] heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装2024

    • Author(s)
      杉森唯瑠未, 宋剛秀, 田村直之, 井上克巳, 鍋島英知, 番原睦則
    • Organizer
      第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
    • Data Source
      KAKENHI-PROJECT-22K11973
  • [Presentation] 解集合プログラミングを用いたハミルトン閉路遷移問題の解法2023

    • Author(s)
      平手貴大, 番原睦則, 井上克巳, 盧暁南, 鍋島英知, 宋剛秀, 田村直之
    • Organizer
      第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
    • Data Source
      KAKENHI-PROJECT-22K11973
  • [Presentation] 解集合プログラミングを用いた支配集合遷移問題の解法に関する考察2023

    • Author(s)
      加藤聖人, 宋剛秀, 田村直之, 番原睦則
    • Organizer
      2023年度人工知能学会全国大会 (第37回)
    • Data Source
      KAKENHI-PROJECT-22K11973
  • [Presentation] 最大独立集合問題のSAT技術を用いた解法に関する研究2023

    • Author(s)
      大森 嶺, 宋 剛秀, 田村 直之
    • Organizer
      2023年度人工知能学会全国大会(第37回)
    • Data Source
      KAKENHI-PROJECT-22K11973
  • [Presentation] 解集合プログラミングを用いた支配集合遷移問題の解法に関する考察2023

    • Author(s)
      加藤聖人, 宋剛秀, 田村直之, 番原睦則
    • Organizer
      2023年度人工知能学会全国大会(第37回)
    • Data Source
      KAKENHI-PROJECT-21K11828
  • [Presentation] 解集合プログラミングを用いたハミルトン閉路遷移問題の解法2023

    • Author(s)
      平手貴大, 番原睦則, 井上克巳, 盧暁南, 鍋島英知, 宋剛秀, 田村直之
    • Organizer
      第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
    • Data Source
      KAKENHI-PROJECT-21K11828
  • [Presentation] チャネリング制約を用いたalldifferent 制約の SAT 符号化2022

    • Author(s)
      小菅脩司, 宋剛秀, 田村直之, 番原睦則
    • Organizer
      情報処理学会第84回全国大会 1L-03
    • Data Source
      KAKENHI-PROJECT-21K11828
  • [Presentation] 解集合プログラミングを用いたクイーン支配問題の解法に関する一考察2022

    • Author(s)
      加藤聖人, 田村直之, 番原睦則
    • Organizer
      日本ソフトウェア科学会第39回大会
    • Data Source
      KAKENHI-PROJECT-21K11828
  • [Presentation] 解集合プログラミングを用いた優先度付き巨大近傍探索の実装と評価2022

    • Author(s)
      桑原和也, 宋剛秀, 田村直之, 番原睦則
    • Organizer
      情報処理学会第84回全国大会 1L-04
    • Data Source
      KAKENHI-PROJECT-21K11828
  • [Presentation] 解集合プログラミングを用いたクイーン支配問題の解法に関する一考察2022

    • Author(s)
      加藤聖人, 田村直之, 番原睦則
    • Organizer
      日本ソフトウェア科学会第39回大会
    • Data Source
      KAKENHI-PROJECT-22K11973
  • [Presentation] 解集合プログラミングを用いた配電網問題の解法2022

    • Author(s)
      山田健太郎, 湊真一, 田村直之, 番原睦則
    • Organizer
      第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022)
    • Data Source
      KAKENHI-PROJECT-21K11828
  • [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回大会 34-L
    • Data Source
      KAKENHI-PROJECT-21K11828
  • [Presentation] 解集合プログラミングによる様相命題論理Kの充足可能性判定2020

    • Author(s)
      飯野有軌, 田村直之, 宋剛秀, 番原睦則, 井上克巳
    • Organizer
      人工知能学会全国大会(第34回)
    • Data Source
      KAKENHI-PROJECT-18K11242
  • [Presentation] 車両装備仕様問題に対する解集合プログラミングの適用2020

    • Author(s)
      竹内頼人, 田村直之, 番原睦則
    • Organizer
      日本ソフトウェア科学会第37回大会
    • Data Source
      KAKENHI-PROJECT-18K11242
  • [Presentation] 解集合ソルバーを用いた様相命題論理の充足可能性判定 (ポスター)2020

    • Author(s)
      飯野有軌, 田村直之, 宋剛秀, 番原睦則, 井上克巳
    • Organizer
      第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020)
    • Data Source
      KAKENHI-PROJECT-18K11242
  • [Presentation] SATソルバーを用いた一層平面配置配線問題の解法に関する考察2020

    • Author(s)
      三嶋哲平, 宋剛秀, 田村直之
    • Organizer
      日本ソフトウェア科学会第37回大会
    • Data Source
      KAKENHI-PROJECT-18K11242
  • [Presentation] 正規制約に対するSAT符号化手法の提案と評価 (ポスター)2020

    • Author(s)
      生田哲也, 田村直之, 宋剛秀, 番原睦則
    • Organizer
      第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020)
    • Data Source
      KAKENHI-PROJECT-18K11242
  • [Presentation] alldifferent制約のブール基数制約への符号化手法の提案とクイーングラフ彩色問題への応用2019

    • Author(s)
      大野周亮, 番原睦則, 宋剛秀, 田村 直之
    • Organizer
      人工知能基本問題研究会(第109回)
    • Data Source
      KAKENHI-PROJECT-18K11242
  • [Presentation] alldifferent制約のブール基数制約への符号化手法の提案とクイーングラフ彩色問題への応用2019

    • Author(s)
      大野 周亮, 番原 睦則, 宋 剛秀, 田村 直之
    • Organizer
      人工知能学会 第109回人工知能基本問題研究会
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition2019

    • Author(s)
      Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
    • Organizer
      2019年度人工知能学会全国大会(第33回)
    • Data Source
      KAKENHI-PROJECT-18K11242
  • [Presentation] 正規制約のSAT符号化とその性能評価2018

    • Author(s)
      生田 哲也, 田村 直之, 番原 睦則, 宋 剛秀
    • Organizer
      日本ソフトウェア科学会 第35回大会
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] 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, Philipp Wanko
    • Organizer
      The 28th International Conference on Automated Planning and Scheduling (ICAPS 2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2018

    • Author(s)
      Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, 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] Diet-Sugar: ハイブリッドSAT符号化を実装したSAT型制約ソルバー2017

    • Author(s)
      宋剛秀,番原睦則,田村直之
    • Organizer
      第58回プログラミング・シンポジウム
    • Place of Presentation
      ラフォーレ倶楽部伊東温泉湯の庭(静岡県・伊東市)
    • Year and Date
      2017-01-06
    • Data Source
      KAKENHI-PROJECT-15K00099
  • [Presentation] 解集合プログラミングを用いた3次元ナンバーリンクソルバー2017

    • Author(s)
      坡山直樹, 飯野有軌, 番原睦則, 田村直之
    • Organizer
      DAシンポジウム2017
    • Data Source
      KAKENHI-PROJECT-15K00099
  • [Presentation] 制約充足問題のASP符号化に関する一考察2017

    • Author(s)
      坡山 直樹, 番原 睦則, 宋 剛秀, 田村 直之
    • Organizer
      第31回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [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] 解集合プログラミングを用いた多層ナンバーリンクの解法2017

    • Author(s)
      坡山直樹, 川原征大, 迫龍哉, 宋剛秀, 番原睦則, 田村直之
    • Organizer
      第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
    • Place of Presentation
      華やぎの章 慶山 (山梨県・笛吹市)
    • Year and Date
      2017-03-08
    • Data Source
      KAKENHI-PROJECT-15K00099
  • [Presentation] SATソルバーの使い方 ―問題をSATに符号化する方法―2017

    • Author(s)
      田村直之, 宋剛秀, 番原睦則
    • Organizer
      第58回プログラミング・シンポジウム
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] SATソルバーの最新動向と利用技術 (PPL2017発表賞(一般の部)受賞)2017

    • Author(s)
      宋 剛秀, 田村 直之
    • Organizer
      第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] SAT型制約ソルバーを用いた3次元ナンバーリンクの解法2017

    • Author(s)
      寸田 智也, 南 雄之, 宋 剛秀, 田村 直之
    • Organizer
      DAシンポジウム2017
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] SAT技術を用いたペトリネットのデッドロック検出手法の提案2017

    • Author(s)
      寸田 智也, 宋 剛秀, 番原 睦則, 田村 直之
    • Organizer
      人工知能学会全国大会(第31回)
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] SATソルバーの使い方 ―問題をSATに符号化する方法―2017

    • Author(s)
      田村直之, 宋剛秀, 番原睦則
    • Organizer
      第58回プログラミング・シンポジウム
    • Place of Presentation
      ラフォーレ倶楽部伊東温泉湯の庭(静岡県・伊東市)
    • Year and Date
      2017-01-06
    • Data Source
      KAKENHI-PROJECT-15K00099
  • [Presentation] SAT技術を用いたペトリネットのデッドロック検出手法の提案2017

    • Author(s)
      寸田智也, 宋剛秀, 番原睦則, 田村直之
    • Organizer
      人工知能学会全国大会(第31回)
    • Data Source
      KAKENHI-PROJECT-15K00099
  • [Presentation] 解集合プログラミングを用いた多層ナンバーリンクの解法2017

    • Author(s)
      坡山 直樹, 川原 征大, 迫 龍哉, 宋 剛秀, 番原 睦則, 田村 直之
    • Organizer
      第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] SugarTracer: SAT型制約ソルバーSugarのトレースツール2017

    • Author(s)
      吉玉元和, 寸田智也, 南雄之, 宋剛秀, 番原睦則, 田村 直之
    • Organizer
      第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
    • Place of Presentation
      華やぎの章 慶山 (山梨県・笛吹市)
    • Year and Date
      2017-03-08
    • Data Source
      KAKENHI-PROJECT-15K00099
  • [Presentation] Diet-Sugar: ハイブリッドSAT符号化を実装したSAT型制約ソルバー2017

    • Author(s)
      宋 剛秀,番原 睦則,田村 直之
    • Organizer
      第58回プログラミング・シンポジウム
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] SugarTracer: SAT型制約ソルバーSugarのトレースツール2017

    • Author(s)
      吉玉 元和, 寸田 智也, 南 雄之, 宋 剛秀, 番原 睦則, 田村 直之
    • Organizer
      第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] ブール基数制約を経由した擬似ブール制約のSAT符号化法2017

    • Author(s)
      南雄之, 宋剛秀, 番原睦則, 田村直之
    • Organizer
      人工知能基本問題研究会(第103回)
    • Place of Presentation
      湯布院公民館 (大分県・由布市)
    • Year and Date
      2017-03-13
    • Data Source
      KAKENHI-PROJECT-15K00099
  • [Presentation] ブール基数制約を経由した擬似ブール制約のSAT符号化手法2017

    • Author(s)
      南 雄之, 宋 剛秀, 番原 睦則, 田村 直之
    • Organizer
      日本ソフトウェア科学会第34回大会
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] ブール基数制約を経由した擬似ブール制約のSAT符号化手法2017

    • Author(s)
      南雄之, 宋剛秀, 番原睦則, 田村直之
    • Organizer
      日本ソフトウェア科学会第34回大会
    • Data Source
      KAKENHI-PROJECT-15K00099
  • [Presentation] 解集合プログラミングを用いた3次元ナンバーリンクソルバー2017

    • Author(s)
      坡山 直樹, 飯野 有軌, 番原 睦則, 田村 直之
    • Organizer
      DAシンポジウム2017
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] SATソルバーの最新動向と利用技術2017

    • Author(s)
      宋剛秀, 田村直之
    • Organizer
      第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
    • Place of Presentation
      華やぎの章 慶山 (山梨県・笛吹市)
    • Year and Date
      2017-03-08
    • Data Source
      KAKENHI-PROJECT-15K00099
  • [Presentation] SATソルバーを用いた部分グラフ探索のための制約モデル2016

    • Author(s)
      川原征大, 宋剛秀, 番原睦則, 田村直之
    • Organizer
      2016年度 人工知能学会全国大会
    • Place of Presentation
      北九州国際会議場 (福岡県・北九州市)
    • Year and Date
      2016-06-06
    • Data Source
      KAKENHI-PROJECT-15K00099
  • [Presentation] 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
      日本ソフトウェア科学会第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
      2016年度 人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] SAT技術を用いた正規ペトリネットのデッドロック検出手法の提案2016

    • Author(s)
      寸田 智也, 宋 剛秀, 番原 睦則, 田村 直之
    • Organizer
      日本ソフトウェア科学会第33回大会
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] インクリメンタルSAT解法を用いた高速ナンバーリンクソルバー2016

    • Author(s)
      迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知
    • Organizer
      第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
    • Place of Presentation
      ダイヤモンド瀬戸内マリンホテル (岡山県玉野市渋川)
    • Year and Date
      2016-03-07
    • Data Source
      KAKENHI-PROJECT-15K00099
  • [Presentation] SAT型制約ソルバーによるナンバーリンクの解法とその評価2016

    • Author(s)
      迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知
    • Organizer
      2016年度 人工知能学会全国大会
    • Place of Presentation
      北九州国際会議場 (福岡県・北九州市)
    • Year and Date
      2016-06-06
    • Data Source
      KAKENHI-PROJECT-15K00099
  • [Presentation] 組合せテストケース生成問題に対する制約解集合プログラミングの適用2015

    • Author(s)
      兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳
    • Organizer
      2015年度人工知能学会全国大会(第29回)
    • Place of Presentation
      公立はこだて未来大学 (北海道函館市亀田中野町)
    • Year and Date
      2015-05-30
    • Data Source
      KAKENHI-PROJECT-15K00099
  • [Presentation] 制約充足問題のハイブリッド符号化に向けて2015

    • Author(s)
      宋剛秀, 佐古田淳史, 番原睦則, 田村直之
    • Organizer
      人工知能学会 第97回人工知能基本問題研究会
    • Place of Presentation
      別府国際コンベンションセンター (大分県)
    • Year and Date
      2015-03-22
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] SATソルバーを用いた高速な部分グラフ探索ツールの実装と評価2015

    • Author(s)
      川原征大, 宋剛秀, 番原睦則, 田村直之
    • Organizer
      日本ソフトウェア科学会第32回大会
    • Place of Presentation
      早稲田大学西早稲田キャンパス(東京都新宿区大久保)
    • Year and Date
      2015-09-09
    • Data Source
      KAKENHI-PROJECT-15K00099
  • [Presentation] 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] SAT型制約ソルバーによるナンバーリンクの求解と解の最適化2015

    • Author(s)
      迫龍哉, 川原征大, 田村直之, 番原睦則, 宋剛秀, 鍋島英知
    • Organizer
      情報処理学会システムとLSIの設計技術研究会
    • Place of Presentation
      山代温泉ゆのくに天祥 (石川県加賀市山代温泉19-49-1)
    • Year and Date
      2015-08-26
    • 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] 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] 制約解集合プログラミングシステムの設計方式に関する考察2014

    • Author(s)
      宋剛秀, 則武治樹, 番原睦則, 田村直之, 井上克巳
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学 (愛知県)
    • Year and Date
      2014-09-08
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] Scala上で実現されたSAT型制約プログラミングシステムのための開発ツール2014

    • Author(s)
      宋剛秀, 番原睦則, 田村直之
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学 (愛知県)
    • Year and Date
      2014-09-09
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] 登録後コース時間割問題の基数制約を用いた制約モデルとSATソルバーを用いた解法2014

    • Author(s)
      佐古田淳史, 宋剛秀, 番原睦則, 田村直之
    • Organizer
      第28回人工知能学会全国大会
    • Place of Presentation
      ひめぎんホール (愛媛県)
    • Year and Date
      2014-05-12
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] SAT Solver and its Application to Combinatorial Problems2014

    • Author(s)
      田村直之
    • Organizer
      実験計画法およびその周辺の組合せ構造 2014
    • Place of Presentation
      城崎国際アートセンター (兵庫県)
    • Year and Date
      2014-12-14
    • Invited
    • 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] 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] 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] Towards In Crelnental SAT-based CSP Solving: experimental Results for the Hamiltonian Cycle Problem2012

    • Author(s)
      Takehlde Soh, Funakoshi Taisuke, Naoyuki Tamura, Mutsunori Banhara.
    • Organizer
      The 2012 CRIL-Nil Collaborative Meeting on Reasoning about Dynamic Constraint Networks
    • Place of Presentation
      Universite d'Artois(France)
    • Year and Date
      2012-11-23
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] (学生奨励賞受賞)カリキュラムベースのコース時間罰問題の擬似プール最適化問題への符号化2012

    • Author(s)
      鈴江美奈,田村直之,番原睦則,宋剛秀,鳩野逸生
    • Organizer
      日本ソフトウェア科学会第29回大会
    • Place of Presentation
      法政大学(東京都)
    • Year and Date
      2012-08-24
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] ハミルトン閉路問題のSAT符号化に関する`研究2012

    • Author(s)
      船越泰輔,番原睦則,田村直之
    • Organizer
      第26回人工知能学会全国大会
    • Place of Presentation
      山口県教育会館(山口県)
    • Year and Date
      2012-06-12
    • Data Source
      KAKENHI-PROJECT-24300007
  • [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] 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型制約ソルバーSugarとScalaインターフェイスについて2011

    • Author(s)
      田村直之, 丹生智也, 番原睦則
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業支援センター(沖縄県)
    • Year and Date
      2011-09-29
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Presentation] 整数有限領域上の線形制約充足問題のコンパクトかつ効率のなSAT符号化の提案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型制約ソルバーSugarについて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
      日本ソフトウェア科学会第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-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] 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 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] 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] SAT技術を用いた組合せテストケース生成2010

    • Author(s)
      番原睦則, 松中春樹, 田村直之, 井上克巳
    • Organizer
      日本ソフトウェア科学会第27回大会
    • Place of Presentation
      津田塾大学(東京都)
    • Year and Date
      2010-09-13
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Presentation] Towards a Compact and Efficient SAT-Encoding of Finite Linear CSP2010

    • Author(s)
      T.Tanjo, N.Tamura, M.Bantara
    • Organizer
      9th Int'l Workshop on Constraint Modelling and Reformulation (ModRef 2010)
    • Place of Presentation
      St.Andrews (Scotland)
    • 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
    • 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] 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] ショップ・スケジューリング問題のSAT変換による解法2007

    • Author(s)
      田村 直之
    • Organizer
      スケジューリング・シンポジウム2007講演論文集
    • Place of Presentation
      京都大学
    • Year and Date
      2007-09-29
    • Data Source
      KAKENHI-PROJECT-17500094
  • [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] System Architecture and Implementation of a Prototyping Tool for SAT-based Constraint Programming Systems

    • Author(s)
      Takehide Soh, Naoyuki Tamura, Mutsunori Banbara, Daniel Le Berre, and Stéphanie Roussel
    • Organizer
      The 4th International Workshop on Pragmatics of SAT (PoS 2013)
    • Place of Presentation
      University of Helsinki, Finland
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] Scala 上で実現されたSAT型制約プログラミングシステムのための開発ツール Scarab について

    • Author(s)
      宋剛秀, 番原睦則, 田村直之, Daniel Le Berre, Stéphanie Roussel
    • Organizer
      日本ソフトウェア科学会第30回大会
    • Place of Presentation
      東京大学
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] CSPSAT Projects and their SAT Related Tools

    • Author(s)
      Naoyuki Tamura, Takehide Soh, Mutsunori Banbara, and Katsumi Inoue
    • Organizer
      The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
    • Place of Presentation
      University of Helsinki, Finland
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] 正方形詰込み問題の制約モデルとSAT符号化を用いた解法

    • Author(s)
      佐古田淳史, 宋剛秀, 番原睦則, 田村直之
    • Organizer
      2013年度人工知能学会全国大会
    • Place of Presentation
      富山国際会議場
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] Answer Set Programming as a Modeling Language for Course Timetabling

    • Author(s)
      Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
    • Organizer
      第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)
    • Place of Presentation
      阿蘇の司ビラパークホテル
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] PBSugar: Compiling Pseudo-Boolean Constraints to SAT with Order Encoding

    • Author(s)
      Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh
    • Organizer
      The 4th International Workshop on Pragmatics of SAT (PoS 2013)
    • Place of Presentation
      University of Helsinki, Finland
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] パッキング配列問題の制約モデリングとSAT符号化

    • Author(s)
      則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
    • Organizer
      日本ソフトウェア科学会第30回大会
    • Place of Presentation
      東京大学
    • Data Source
      KAKENHI-PROJECT-24300007
  • 1.  BANBARA Mutsunori (80290774)
    # of Collaborated Projects: 10 results
    # of Collaborated Products: 169 results
  • 2.  KANEDA Yukio (80107979)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 3.  SOH Takehide (00625121)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 104 results
  • 4.  INOUE Katsumi (10252321)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 29 results
  • 5.  MATSUDA Hideo (50183950)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 6.  KAKUDA Yuzuru (50031365)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 7.  HAYASHI Susumu (40156443)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 8.  NABESHIMA Hidetomo (10334848)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 8 results
  • 9.  OKADA Mitsuhiro (30224025)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 10.  中篠 拓伯 (80217736)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 11.  YASUGI Mariko (90022277)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 12.  TAKAHASHI Makoto (50154860)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 13.  田畑 稔 (70207215)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 14.  南部 隆夫 (40156013)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 15.  中桐 信一 (20031148)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 16.  HIRAYAMA Katsutoshi (00273813)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  IWANUMA Koji (30176557)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  YAMAMOTO Yoshitaka (30550793)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  YOKOO Makoto (20380678)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  HASEGAWA Ryuzo (20274483)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  FUJITA Hiroshi (70284552)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  KISHIMURA Miyuki (30274492)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  UEDA Kazunori (10257206)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  TANJO Tomoya (40635067)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 4 results
  • 25.  OKIMOTO Tenda (10632432)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  MAEKAWA Sadao (20031057)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  OGIHARA Takesi (90231224)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 28.  TAKI Kazuo (20243321)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 29.  SATO Masahiko (20027387)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 30.  FUTATSUGI Kokichi (50251971)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 31.  NAGASAKA Ichiro (10314501)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 32.  KIKUCHI Makoto (60273801)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 33.  KOBAYASHI Naoki (00262155)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 34.  TERUI Kazushige (70353422)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 35.  高橋 典大 (00031295)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 36.  垣内 逸郎 (90091248)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 37.  堀内 清光 (90211549)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 38.  赤間 陽二 (30272454)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 39.  高橋 大輔 (50188025)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 40.  石原 哉 (10211046)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 41.  山本 章博 (30230535)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 42.  田浦 俊春 (00251497)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 43.  下嶋 篤 (40303341)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 44.  NAKAGAWA Wataru
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi