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

Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques

Research Project

Project/Area Number 24300007
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypePartial Multi-year Fund
Section一般
Research Field Software
Research InstitutionKobe University

Principal Investigator

TAMURA Naoyuki  神戸大学, 情報基盤センター, 教授 (60207248)

Co-Investigator(Kenkyū-buntansha) BANBARA Mutsunori  神戸大学, 情報基盤センター, 教授 (80290774)
SOH Takehide  神戸大学, 情報基盤センター, 助教 (00625121)
INOUE Katsumi  国立情報学研究所, 情報学プリンシプル研究系, 教授 (10252321)
NABESHIMA Hidetomo  山梨大学, 医学工学総合研究部, 准教授 (10334848)
Co-Investigator(Renkei-kenkyūsha) TANJO Tomoya  情報・システム研究機構, 新領域融合研究センター, 融合プロジェクト特任研究員 (40635067)
OKIMOTO Tenda  情報・システム研究機構, 新領域融合研究センター, 融合プロジェクト特任研究員 (10632432)
Project Period (FY) 2012-04-01 – 2015-03-31
Project Status Completed (Fiscal Year 2014)
Budget Amount *help
¥17,940,000 (Direct Cost: ¥13,800,000、Indirect Cost: ¥4,140,000)
Fiscal Year 2014: ¥5,330,000 (Direct Cost: ¥4,100,000、Indirect Cost: ¥1,230,000)
Fiscal Year 2013: ¥5,980,000 (Direct Cost: ¥4,600,000、Indirect Cost: ¥1,380,000)
Fiscal Year 2012: ¥6,630,000 (Direct Cost: ¥5,100,000、Indirect Cost: ¥1,530,000)
Keywords制約プログラミング / 充足可能性判定問題 / 命題論理
Outline of Final Research Achievements

Constraint programming is a paradigm for realizing intelligent software systems without explicitly programming the solving algorithm of combinatorial programs. In this research project, we studied and developed high-performance and flexible constraint programming systems by using propositional inference techniques which made big performance progress in recent years. The developed systems are published through the Internet. We also applied the developed systems to various difficult problems (such as course timetabling, test case generation, packing array construction, Hamilton cycle finding, circuit wiring, and systems biology) and obtained superior results compared with previous works.

Report

(4 results)
  • 2014 Annual Research Report   Final Research Report ( PDF )
  • 2013 Annual Research Report
  • 2012 Annual Research Report
  • Research Products

    (107 results)

All 2015 2014 2013 2012 Other

All Journal Article (56 results) (of which Peer Reviewed: 55 results,  Acknowledgement Compliant: 2 results,  Open Access: 6 results) Presentation (44 results) (of which Invited: 1 results) Book (1 results) Remarks (6 results)

  • [Journal Article] Identification of Biological Regulatory Networks from Process Hitting Models2015

    • Author(s)
      Maxime Folschette, Loic Pauleve, Katsumi Inoue, Morgan Magnin, Olivier Roux
    • Journal Title

      Theoretical Computer Science

      Volume: Vol.568 Pages: 49-71

    • DOI

      10.1016/j.tcs.2014.12.002

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Finding Resilient Solution for Dynamic Multi-Objective Constraint Optimization Problems2015

    • Author(s)
      Maxime Clement, Tenda Okimoto, Nicolas Schwind, Katsumi Inoue
    • Journal Title

      Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART-2015)

      Volume: 無し Pages: 509-516

    • DOI

      10.5220/0005276305090516

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] A Two-Phase Complete Algorithm for Multi-objective Distributed Constraint Optimization2014

    • Author(s)
      Alexandre Medi, Tenda Okimoto, Katsumi Inoue
    • Journal Title

      Journal of Advanced Computational Intelligence and Intelligent Informatics

      Volume: Vol.18, No.4 Pages: 573-580

    • NAID

      130007673206

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [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
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] GlueMiniSat2.2.82014

    • Author(s)
      Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
    • Journal Title

      Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions

      Volume: Vol.2, B-2014- Pages: 35-36

    • Related Report
      2014 Annual Research Report
    • Open Access / Acknowledgement Compliant
  • [Journal Article] Local Search Based Approximate Algorithm for Multi-Objective DCOP2014

    • Author(s)
      Maxime Wack, Tenda Okimoto, Maxime Clement, Katsumi Inoue
    • Journal Title

      Proceedings of the 17th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2014)

      Volume: Vol.8861 Pages: 390-406

    • DOI

      10.1007/978-3-319-13191-7_32

    • ISBN
      9783319131900, 9783319131917
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Utilitarian and Egalitarian Solutions for Multi-Objective Constraint Optimization2014

    • Author(s)
      Nicolas Schwind, Tenda Okimoto, Sebastien Konieczny, Maxime Wack, Katsumi Inoue
    • Journal Title

      Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2014)

      Volume: 無し Pages: 170-177

    • DOI

      10.1109/ictai.2014.34

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] A BDD-Based Algorithm for Learning from Interpretation Transition2014

    • Author(s)
      Tony Ribeiro, Katsumi Inoue, Chiaki Sakama
    • Journal Title

      Inductive Logic Programming: Revised Selected Papers from the 23rd International Conference (ILP 2013)

      Volume: Vol.8812 Pages: 47-63

    • DOI

      10.1007/978-3-662-44923-3_4

    • ISBN
      9783662449226, 9783662449233
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Lp-norm Based Algorithm for Multi-Objective Distributed Constraint Optimization2014

    • Author(s)
      Tenda Okimoto, Nicolas Schwind, Maxime Clement, Katsumi Inoue
    • Journal Title

      The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014)

      Volume: 無し Pages: 1427-1428

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Discriminative MO-COP Operators2014

    • Author(s)
      Nicolas Schwind, Tenda Okimoto, Tony Ribeiro, Sebastien Konieczny, Katsumi Inoue
    • Journal Title

      International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OptMAS-DCR 2014)

      Volume: 無し

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Model and Algorithm for Dynamic Multi-Objective Distributed Optimization2014

    • Author(s)
      Maxime Clement, Tenda Okimoto, Tony Ribeiro, Katsumi Inoue
    • Journal Title

      International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OptMAS-DCR 2014)

      Volume: 無し

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Open Access
  • [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
    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Learning from Interpretation Transition2014

    • Author(s)
      Katsumi Inoue, Tony Ribeiro, and Chiaki Sakama
    • Journal Title

      Machine Learning

      Volume: 94(1) Issue: 1 Pages: 51-79

    • DOI

      10.1007/s10994-013-5353-8

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Lp-Norm Based Algorithm for Multi-Objective Distributed Constraint Optimization2014

    • Author(s)
      Tenda Okimoto, Nicolas Schwind, Maxime Clement, and Katsumi Inoue
    • Journal Title

      The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014)

      Volume: なし

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Modeling and Algorithm for Dynamic Multi-Objective Weighted Constraint Satisfaction Problem2014

    • Author(s)
      Tenda Okimoto, Tony Ribeiro, Maxime Clement, and Katsumi Inoue
    • Journal Title

      The 6th International Conference on Agents and Artificial Intelligence (ICAART 2014)

      Volume: なし

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Discriminative MO-COP Operators2014

    • Author(s)
      Nicolas Schwind, Tenda Okimoto, Tony Ribeiro, Sebastien Konieczny, Katsumi Inoue
    • Journal Title

      International Joint Workshop On Optimisation In Multi-Agent Systems And Distributed Constraint Reasoning (OPTMAS-DCR)

      Volume: なし

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Model and Algorithm for Dynamic Multi-Objective Distributed Optimization2014

    • Author(s)
      Maxime Clement, Tenda Okimoto, Tony Ribeiro, Katsumi Inoue
    • Journal Title

      International Joint Workshop On Optimisation In Multi-Agent Systems And Distributed Constraint Reasoning (OPTMAS-DCR)

      Volume: なし

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [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

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [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
    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Abduction, Unpredictability and Garden of Eden2013

    • Author(s)
      Chiaki Sakama and Katsumi Inoue
    • Journal Title

      Logic Journal of the IGPL

      Volume: 21(6) Issue: 6 Pages: 980-998

    • DOI

      10.1093/jigpal/jzt015

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 多目的分散制約最適化問題における厳密/非厳密解法の提案2013

    • Author(s)
      沖本天太,櫻井祐子,横尾真,井上克巳
    • Journal Title

      電子情報通信学会論文誌 D

      Volume: J96-D(12) Pages: 2929-2938

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 分散制約最適化問題:擬似木に基づくハイブリッド型の解法の提案2013

    • Author(s)
      沖本天太,山本将,櫻井祐子,横尾真,井上克巳
    • Journal Title

      電子情報通信学会論文誌 D

      Volume: J96-D(12) Pages: 2920-2928

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning2013

    • Author(s)
      Saadat Anwar, Chitta Baral, and Katsumi Inoue
    • Journal Title

      Theory and Practice of Logic Programming

      Volume: 13(4-5)

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Combining Answer Set Programs for Adaptive and Reactive Reasoning2013

    • Author(s)
      Tony Ribeiro, Katsumi Inoue and Gauvain Bourgne
    • Journal Title

      Theory and Practice of Logic Programming

      Volume: 13(4-5)

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [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

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [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
    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [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

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On-The-Fly Lazy Clause Simplification based on Binary Resolvents2013

    • Author(s)
      Hidetomo Nabeshima, Koji Iwanuma and Katsumi Inoue
    • Journal Title

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

      Volume: なし Pages: 987-995

    • DOI

      10.1109/ictai.2013.149

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] AOF-Based Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization2013

    • Author(s)
      Tenda Okimoto, Maxime Clement, and Katsumi Inoue
    • Journal Title

      Multi-Disciplinary Trends in Artificial Intelligence: Proceedings of the 7th International Workshop (MIWAI 2013)

      Volume: なし Pages: 175-186

    • DOI

      10.1007/978-3-642-44949-9_17

    • ISBN
      9783642449482, 9783642449499
    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Modeling and Algorithm for Dynamic Multi-Objective Distributed Optimization2013

    • Author(s)
      Maxime Clement, Tenda Okimoto, Tony Ribeiro, and Katsumi Inoue
    • Journal Title

      Principles and Practice of Multi-Agent Systems: Proceedings of the 16th International Conference (PRIMA 2013)

      Volume: なし Pages: 413-420

    • DOI

      10.1007/978-3-642-44927-7_29

    • ISBN
      9783642449260, 9783642449277
    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Two-Phase Complete Algorithm for Multiobjective Distributed Constraint Optimization2013

    • Author(s)
      Alexandre Medi, Tenda Okimoto, and Katsumi Inoue
    • Journal Title

      Joint Agent Workshop and Symposium 2013 (JAWS 2013)

      Volume: なし

    • NAID

      130007673206

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Representation Theorems for Revision of Logic Programs2013

    • Author(s)
      Nicolas Schwind and Katsumi Inoue
    • Journal Title

      Logic Programming and Nonmonotonic Reasoning: Proceedings of the 12th International Conference (LPNMR 2013)

      Volume: なし Pages: 485-498

    • DOI

      10.1007/978-3-642-40564-8_48

    • ISBN
      9783642405631, 9783642405648
    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Encoding Higher Level Extensions of Petri Nets in Answer Set Programming2013

    • Author(s)
      Saadat Anwar, Chitta Baral, and Katsumi Inoue
    • Journal Title

      Logic Programming and Nonmonotonic Reasoning: Proceedings of the 12th International Conference (LPNMR 2013)

      Volume: なし Pages: 116-121

    • DOI

      10.1007/978-3-642-40564-8_12

    • ISBN
      9783642405631, 9783642405648
    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Inference and Learning of Boolean Networks using Answer Set Programming2013

    • Author(s)
      Alexandre Rocca, Tony Ribeiro, and Katsumi Inoue
    • Journal Title

      The 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013)

      Volume: なし Pages: 17-30

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Translating the SBGN-AF Language into Logics to Analyze Signalling Networks2013

    • Author(s)
      Adrien Rougny, Christine Froidevaux, Yoshitaka Yamamoto, and Katsumi Inoue
    • Journal Title

      The 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013)

      Volume: なし Pages: 43-54

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Pseudo-Tree Based Hybrid Algorithm for Distributed Constraint Optimization2013

    • Author(s)
      Tenda Okimoto, Makoto Yokoo, Yuko Sakurai, and Katsumi Inoue
    • Journal Title

      The IJCAI 2013 Workshop on Distributed Constraint Reasoning (DCR 2013)

      Volume: なし Pages: 1-15

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Learning Revised Models for Planning in Adaptive Systems2013

    • Author(s)
      Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, and Katsumi Inoue
    • Journal Title

      The 35th International Conference on Software Engineering (ICSE 2013)

      Volume: なし Pages: 63-71

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Systems Resilience: A Challenge Problem for Dynamic Constraint-Based Agent Systems2013

    • Author(s)
      Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Hei Chan, Tony Ribeiro, Kazuhiro Minami, and Hiroshi Maruyama
    • Journal Title

      The 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013)

      Volume: なし Pages: 785-788

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 直観主義線形論理型言語LLPとそのコンパイラ処理系2013

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

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

      Volume: 30 Pages: 83-89

    • NAID

      10031151476

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 多目的制約最適化問題における対話型解法の提案2013

    • Author(s)
      沖本天太,ジョヨンジュン,岩崎敦,横尾真
    • Journal Title

      人工知能学会論文誌

      Volume: 28(1) Pages: 57-66

    • NAID

      130003362307

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 位取り記数法に基づく整数有限傾域上の制約充足問題のコンパクトかつ効率的なSAT符号化2013

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

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

      Volume: 30(1) Pages: 211-230

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [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: 掲載確定(掲載確定)

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Non-Monotone Dualization via Monotone Duanzation2013

    • Author(s)
      Yoshitaka Yamamoto, Koji Iwanuma, Katsumi Inoue
    • Journal Title

      The 22nd International Conference of Inductive Logic Programming (ILP 2013)

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

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Scala上の制約プログラミング用ドメイン特化言語Coprisについて2012

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

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

      Volume: 29(4) Pages: 114-129

    • NAID

      130004549288

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012

    • Author(s)
      鍋島英知,岩沼宏治,井上克巳
    • Journal Title

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

      Volume: 29(4) Pages: 146-160

    • NAID

      130004549290

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Event-Sequence Testing-Using Answer-Set Programming2012

    • Author(s)
      Martin Brain、 Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jorg Puhrer, Hans Tompits, Cemal Yilmaz
    • Journal Title

      International Journal On Advances in Software

      Volume: 5(3-4) Pages: 236-250

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Evaluation of the Prediction of Gene Knockout Effects by Minimal Pathway Enumeration2012

    • Author(s)
      Takehide Soh, Katsumi Inoue, Tomoya Baba, Toyoyuki Takada, Toshihiko Shiroishi
    • Journal Title

      International Journal on Advances in Life Sciences

      Volume: 4(3-4) Pages: 154-165

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Oscillating Behavior of Logic Programs2012

    • Author(s)
      Katsumi Inoue, Chiaki Sakama
    • Journal Title

      Correct Reasoning-Essays on Logic-Based AI in Honour of Vladimir Lifschitz, LNCS, Springer

      Volume: 7265 Pages: 345-362

    • DOI

      10.1007/978-3-642-30743-0_23

    • ISBN
      9783642307423, 9783642307430
    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] DNF Hypotheses In Bottom-Directed ILP2012

    • Author(s)
      Katsumi Inoue
    • Journal Title

      Inducive Logic Programming: Revised Selected Papers from the 21st International Conference (ILP 2011), LNCS, Springer

      Volume: 7207 Pages: 173-188

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Concretizing the Process Hitting into Biological Regulatory Networks2012

    • Author(s)
      Maxime Folscnette, Loic Pauleve, Katsumi Inoue, Morgan Magnin, Olivier Boux
    • Journal Title

      The 10th International Conference on Computational Methods in Systems Biology (CMSB 2012), LNCS, Springer

      Volume: 7605 Pages: 166-186

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Abducing Biological Regulatory Networks from Process Hitting Models2012

    • Author(s)
      Maxime Folscnette, Loic Pauleve, Katsumi Inoue, Magnin, Olivier Roux
    • Journal Title

      ECML-PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology

      Pages: 24-35

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Modular Reasoning in Multi-Agent Systems Using Mata-Knowledge and Answer Set Programming2012

    • Author(s)
      Tony Kibeiro, Katsumi Inoue, Uauvain Bourgne.
    • Journal Title

      International Joint Agent Workshop and Symposium(iJAWS 2012)

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [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

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On the Neighborhood and Distance Between Qualitative Spatio-Temporal Configurations2012

    • Author(s)
      Dominique D'Almeida, Mouny Samy Modeliar, Nicolas Schwind
    • Journal Title

      The International Workshop on Spatio-Temporal Dynamics (STeDy'12)

      Pages: 53-60

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [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

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Interactive Algorithm for Multi-Objective Constraint Optimization2012

    • Author(s)
      Tenda Okimoto, Yongjoon Joe, Atsushi Iwasaki, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo
    • Journal Title

      Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP-2012)

      Volume: 7514 Pages: 561-576

    • DOI

      10.1007/978-3-642-33558-7_41

    • NAID

      130003362307

    • ISBN
      9783642335570, 9783642335587
    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Presentation] CDCLソルバーのための軽量動的簡単化手法2015

    • Author(s)
      杉本拓也, 鍋島英知
    • Organizer
      人工知能学会 第97回人工知能基本問題研究会
    • Place of Presentation
      別府国際コンベンションセンター (大分県)
    • Year and Date
      2015-03-23
    • Related Report
      2014 Annual Research Report
  • [Presentation] CDCLソルバーにおける学習節の深さに基づく節管理戦略2015

    • Author(s)
      横前菜々子, 鍋島英知
    • Organizer
      人工知能学会 第97回人工知能基本問題研究会
    • Place of Presentation
      別府国際コンベンションセンター (大分県)
    • Year and Date
      2015-03-23
    • Related Report
      2014 Annual Research Report
  • [Presentation] SAT変換手法における充足不能コアの抽出2015

    • Author(s)
      渡辺大樹, 鍋島英知
    • Organizer
      人工知能学会 第97回人工知能基本問題研究会
    • Place of Presentation
      別府国際コンベンションセンター (大分県)
    • Year and Date
      2015-03-23
    • Related Report
      2014 Annual Research Report
  • [Presentation] 制約充足問題のハイブリッド符号化に向けて2015

    • Author(s)
      宋剛秀, 佐古田淳史, 番原睦則, 田村直之
    • Organizer
      人工知能学会 第97回人工知能基本問題研究会
    • Place of Presentation
      別府国際コンベンションセンター (大分県)
    • Year and Date
      2015-03-22
    • Related Report
      2014 Annual Research Report
  • [Presentation] Scarab: 高度なSAT解法を利用可能な制約プログラミングシステム2015

    • Author(s)
      宋剛秀, 番原睦則, 田村直之
    • Organizer
      第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015)
    • Place of Presentation
      道後プリンスホテル (愛媛県)
    • Year and Date
      2015-03-04
    • Related Report
      2014 Annual Research Report
  • [Presentation] SAT Solver and its Application to Combinatorial Problems2014

    • Author(s)
      田村直之
    • Organizer
      実験計画法およびその周辺の組合せ構造 2014
    • Place of Presentation
      城崎国際アートセンター (兵庫県)
    • Year and Date
      2014-12-14
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] ロバストなチーム編成問題2014

    • Author(s)
      沖本天太, Nicolas Schwind, Maxime Clement, 井上克巳
    • Organizer
      Joint Agent Workshop and Symposium 2014
    • Place of Presentation
      ANA ホリデイ・イン リゾート 宮崎 (宮崎県)
    • Year and Date
      2014-10-29
    • Related Report
      2014 Annual Research Report
  • [Presentation] Robust Multi-Team Formation and its Application to Robot Rescue Simulation2014

    • Author(s)
      Damien Bouchabou, Tony Ribeiro, Tenda Okimoto, Katsumi Inoue
    • Organizer
      Joint Agent Workshop and Symposium 2014
    • Place of Presentation
      ANA ホリデイ・イン リゾート 宮崎 (宮崎県)
    • Year and Date
      2014-10-28
    • Related Report
      2014 Annual Research Report
  • [Presentation] Limiting Perturbations in Dynamic MO-DCOP2014

    • Author(s)
      Maxime Clement, Tenda Okimoto, Katsumi Inoue
    • Organizer
      Joint Agent Workshop and Symposium 2014
    • Place of Presentation
      ANA ホリデイ・イン リゾート 宮崎 (宮崎県)
    • Year and Date
      2014-10-28
    • Related Report
      2014 Annual Research Report
  • [Presentation] Distributed Iterated Pareto Local Search for MO-DCOPs2014

    • Author(s)
      Maxime Wack, Tenda Okimoto, Maxime Clement, Katsumi Inoue
    • Organizer
      Joint Agent Workshop and Symposium 2014
    • Place of Presentation
      ANA ホリデイ・イン リゾート 宮崎 (宮崎県)
    • Year and Date
      2014-10-28
    • Related Report
      2014 Annual Research Report
  • [Presentation] Scala上で実現されたSAT型制約プログラミングシステムのための開発ツール2014

    • Author(s)
      宋剛秀, 番原睦則, 田村直之
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学 (愛知県)
    • Year and Date
      2014-09-09
    • Related Report
      2014 Annual Research Report
  • [Presentation] 制約解集合プログラミングシステムの設計方式に関する考察2014

    • Author(s)
      宋剛秀, 則武治樹, 番原睦則, 田村直之, 井上克巳
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学 (愛知県)
    • Year and Date
      2014-09-08
    • Related Report
      2014 Annual Research Report
  • [Presentation] SAT型制約ソルバーを用いたナンバーリンクの解法2014

    • Author(s)
      田村直之, 宋剛秀, 番原睦則, 鍋島英知
    • Organizer
      情報処理学会DAシンポジウム2014
    • Place of Presentation
      水明館 (岐阜県)
    • Year and Date
      2014-08-29
    • Related Report
      2014 Annual Research Report
  • [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
    • Related Report
      2014 Annual Research Report
  • [Presentation] ロバストな提携構造形成問題に関する一検討2014

    • Author(s)
      沖本 天太
    • Organizer
      第28回人工知能学会全国大会
    • Place of Presentation
      ひめぎんホール (愛媛県)
    • Year and Date
      2014-05-14
    • Related Report
      2014 Annual Research Report
  • [Presentation] 登録後コース時間割問題の基数制約を用いた制約モデルとSATソルバーを用いた解法2014

    • Author(s)
      佐古田淳史, 宋剛秀, 番原睦則, 田村直之
    • Organizer
      第28回人工知能学会全国大会
    • Place of Presentation
      ひめぎんホール (愛媛県)
    • Year and Date
      2014-05-12
    • Related Report
      2014 Annual Research Report
  • [Presentation] SATソルバーと密に結合された制約プログラミングシステムScarabとハミルトン閉路問題への応用2014

    • Author(s)
      宋剛秀, Daniel Le Berre, Stephanie Roussel, 番原睦則, 田村直之
    • Organizer
      第28回人工知能学会全国大会
    • Place of Presentation
      ひめぎんホール (愛媛県)
    • Year and Date
      2014-05-12
    • Related Report
      2014 Annual Research Report
  • [Presentation] CDCLソルバーのための軽量動的包摂検査2014

    • Author(s)
      杉本拓也, 鍋島英知
    • Organizer
      第28回人工知能学会全国大会
    • Place of Presentation
      ひめぎんホール (愛媛県)
    • Year and Date
      2014-05-12
    • Related Report
      2014 Annual Research Report
  • [Presentation] 大規模SAT問題の求解のための緩和解法の検討と提案2014

    • Author(s)
      三神直彬, 鍋島英知
    • Organizer
      第28回人工知能学会全国大会
    • Place of Presentation
      ひめぎんホール (愛媛県)
    • Year and Date
      2014-05-12
    • Related Report
      2014 Annual Research Report
  • [Presentation] SAT符号化を用いたパッキング配列の構成2013

    • Author(s)
      則武治樹,番原睦則、宋剛秀,田村直之,井上克巳
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)
    • Place of Presentation
      会津若松市(福島県)
    • Year and Date
      2013-03-05
    • Related Report
      2012 Annual Research Report
  • [Presentation] Scarab: Scala上で実現されたSAT型制約プログラミングシステムのための高速開発ツール2013

    • Author(s)
      宋剛秀,田村直之,番原睦則
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)
    • Place of Presentation
      会津若松市(福島県)
    • Year and Date
      2013-03-05
    • Related Report
      2012 Annual Research Report
  • [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
    • Related Report
      2012 Annual Research Report
  • [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
    • Related Report
      2012 Annual Research Report
  • [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
    • Related Report
      2012 Annual Research Report
  • [Presentation] 多目的分散制約最適化問題における厳密/非厳密解法の提案2012

    • Author(s)
      沖本天太, Yongjoon Joe, 上田俊,岩崎敦、櫻井祐子、横尾真、井上克己
    • Organizer
      合同エージェントワークショップ&シンポジウム(JAWS2012)
    • Place of Presentation
      掛川市(静岡県)
    • Year and Date
      2012-10-26
    • Related Report
      2012 Annual Research Report
  • [Presentation] BnB-ADOPTp:分散制約最適化問題におけるハイブリッド型の解法の提案2012

    • Author(s)
      沖本天太,山本将,櫻井佑子,横尾真,井上克巳
    • Organizer
      合同エージェントワークショップ&シンポジウム(JAWS2012)
    • Place of Presentation
      掛川市(静岡県)
    • Year and Date
      2012-10-26
    • Related Report
      2012 Annual Research Report
  • [Presentation] 多目的制約最適化問題:ユーザとの対話型解法の提案2012

    • Author(s)
      沖本天太, Yongjoon Joe, 岩崎敦, 横尾真
    • Organizer
      第11回情報科学技術フォーラム(FIT2012)
    • Place of Presentation
      法政大学(東京都)
    • Year and Date
      2012-09-06
    • Related Report
      2012 Annual Research Report
  • [Presentation] (学生奨励賞受賞)カリキュラムベースのコース時間罰問題の擬似プール最適化問題への符号化2012

    • Author(s)
      鈴江美奈,田村直之,番原睦則,宋剛秀,鳩野逸生
    • Organizer
      日本ソフトウェア科学会第29回大会
    • Place of Presentation
      法政大学(東京都)
    • Year and Date
      2012-08-24
    • Related Report
      2012 Annual Research Report
  • [Presentation] SAT技術を用いた組合せテストケース生成2012

    • Author(s)
      番原睦則
    • Organizer
      ERATOセミナー, JST ERATO湊離散構造処理系プロジェクト
    • Place of Presentation
      大阪市(大阪府)
    • Year and Date
      2012-07-06
    • Related Report
      2012 Annual Research Report
  • [Presentation] 高速充足可能性判定器を用いた命題論理の結論発見器の実装2012

    • Author(s)
      村松匠,鈴木健士郎,鍋島英知,岩沼宏治
    • Organizer
      第26回人工知能学会全国大会
    • Place of Presentation
      山口県教育会館(山口県)
    • Year and Date
      2012-06-12
    • Related Report
      2012 Annual Research Report
  • [Presentation] 学習節評価尺度LBDに基づく並列SATソルバーの提案2012

    • Author(s)
      大橋弘幸,鍋島英知
    • Organizer
      第26回人工知能学会全国大会
    • Place of Presentation
      山口県教育会館(山口県)
    • Year and Date
      2012-06-12
    • Related Report
      2012 Annual Research Report
  • [Presentation] 制約充足問題のSAT符号化を用いたパッキング配列の構成2012

    • Author(s)
      則武治樹,番原睦則,田村直之,井上克己
    • Organizer
      第26回人工知能学会全国大会
    • Place of Presentation
      山口県教育会館(山口県)
    • Year and Date
      2012-06-12
    • Related Report
      2012 Annual Research Report
  • [Presentation] ハミルトン閉路問題のSAT符号化に関する`研究2012

    • Author(s)
      船越泰輔,番原睦則,田村直之
    • Organizer
      第26回人工知能学会全国大会
    • Place of Presentation
      山口県教育会館(山口県)
    • Year and Date
      2012-06-12
    • Related Report
      2012 Annual Research Report
  • [Presentation] パッキング配列問題の制約モデリングとSAT符号化

    • Author(s)
      則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
    • Organizer
      日本ソフトウェア科学会第30回大会
    • Place of Presentation
      東京大学
    • Related Report
      2013 Annual Research Report
  • [Presentation] Scala 上で実現されたSAT型制約プログラミングシステムのための開発ツール Scarab について

    • Author(s)
      宋剛秀, 番原睦則, 田村直之, Daniel Le Berre, Stéphanie Roussel
    • Organizer
      日本ソフトウェア科学会第30回大会
    • Place of Presentation
      東京大学
    • Related Report
      2013 Annual Research Report
  • [Presentation] 正方形詰込み問題の制約モデルとSAT符号化を用いた解法

    • Author(s)
      佐古田淳史, 宋剛秀, 番原睦則, 田村直之
    • Organizer
      2013年度人工知能学会全国大会
    • Place of Presentation
      富山国際会議場
    • Related Report
      2013 Annual Research Report
  • [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
      阿蘇の司ビラパークホテル
    • Related Report
      2013 Annual Research Report
  • [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
    • Related Report
      2013 Annual Research Report
  • [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
    • Related Report
      2013 Annual Research Report
  • [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
    • Related Report
      2013 Annual Research Report
  • [Presentation] 最新SATソルバーへの充足不能コア抽出手法の実装

    • Author(s)
      渡辺 大樹,鍋島 英知
    • Organizer
      第27回人工知能学会全国大会
    • Place of Presentation
      富山国際会議場
    • Related Report
      2013 Annual Research Report
  • [Presentation] 拡張融合法に基づく次世代SATソルバーの試作

    • Author(s)
      森 淳,鍋島 英知
    • Organizer
      第27回人工知能学会全国大会
    • Place of Presentation
      富山国際会議場
    • Related Report
      2013 Annual Research Report
  • [Presentation] 動的な多目的分散制約最適化問題に関する一検討

    • Author(s)
      沖本 天太,井上 克巳
    • Organizer
      人工知能学会第27回全国大会 (JSAI 2013)
    • Place of Presentation
      富山国際会議場
    • Related Report
      2013 Annual Research Report
  • [Presentation] GlueMiniSat 2.2.7: On-The-Fly Lazy Clause Simplification

    • Author(s)
      Hidetomo Nabeshima, Koji Iwanuma, and Katsumi Inoue
    • Organizer
      The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
    • Place of Presentation
      University of Helsinki, Finland
    • Related Report
      2013 Annual Research Report
  • [Book] Logical Modeling of Biological Systems2014

    • Author(s)
      Luis Farinas del Cerro, Katsumi Inoue (editors)
    • Total Pages
      422
    • Publisher
      Wiley
    • Related Report
      2014 Annual Research Report
  • [Remarks] CSPSAT2プロジェクト (本プロジェクトのホームページ)

    • URL

      http://www.edu.kobe-u.ac.jp/istc-tamlab/cspsat/

    • Related Report
      2014 Annual Research Report
  • [Remarks] Copris: Constraint Programming in Scala

    • URL

      http://bach.istc.kobe-u.ac.jp/copris/

    • Related Report
      2014 Annual Research Report
  • [Remarks] Scarab: a Tool for SAT-based CP Systems

    • URL

      http://kix.istc.kobe-u.ac.jp/~soh/scarab/

    • Related Report
      2014 Annual Research Report
  • [Remarks] GlueMiniSat

    • URL

      https://sites.google.com/a/nabelab.org/glueminisat/home

    • Related Report
      2014 Annual Research Report
  • [Remarks] CSPSAT2プロジェクト

    • URL

      http://www.edu.kobe-u.ac.jp/istc-tamlab/cspsat/

    • Related Report
      2013 Annual Research Report
  • [Remarks]

    • URL

      http://www.edu.kobe-u.ac.jp/istc-tamlab/cspsat/

    • Related Report
      2012 Annual Research Report

URL: 

Published: 2012-04-24   Modified: 2023-03-16  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi