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

Study of SAT-based constraint optimization problem solving and its parallel distributed processing

Research Project

Project/Area Number 20240003
Research Category

Grant-in-Aid for Scientific Research (A)

Allocation TypeSingle-year Grants
Section一般
Research Field Software
Research InstitutionKobe University

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) BANBARA Mutsunori  神戸大学, 情報基盤センター, 准教授 (80290774)
HIRAYAMA Katsutoshi  神戸大学, 海事科学研究科, 准教授 (00273813)
INOUE Katsumi  国立情報学研究所, 情報学プリンシプル研究系, 教授 (10252321)
IWANUMA Koji  山梨大学, 医学工学総合研究部, 教授 (30176557)
NABESHIMA Hidetomo  山梨大学, 医学工学総合研究部, 准教授 (10334848)
YAMAMOTO Yoshitaka  山梨大学, 医学工学総合研究部, 助教 (30550793)
YOKOO Makoto  九州大学, システム情報科学研究院, 教授 (20380678)
HASEGAWA Ryuzo  九州大学, システム情報科学研究院, 教授 (20274483)
FUJITA Hiroshi  九州大学, システム情報科学研究院, 准教授 (70284552)
KISHIMURA Miyuki  九州大学, システム情報科学研究院, 助教 (30274492)
Co-Investigator(Renkei-kenkyūsha) UEDA Kazunori  早稲田大学, 理工学術院情報理工学科, 教授 (10257206)
Project Period (FY) 2008 – 2011
Project Status Completed (Fiscal Year 2011)
Budget Amount *help
¥47,450,000 (Direct Cost: ¥36,500,000、Indirect Cost: ¥10,950,000)
Fiscal Year 2011: ¥10,920,000 (Direct Cost: ¥8,400,000、Indirect Cost: ¥2,520,000)
Fiscal Year 2010: ¥10,920,000 (Direct Cost: ¥8,400,000、Indirect Cost: ¥2,520,000)
Fiscal Year 2009: ¥11,960,000 (Direct Cost: ¥9,200,000、Indirect Cost: ¥2,760,000)
Fiscal Year 2008: ¥13,650,000 (Direct Cost: ¥10,500,000、Indirect Cost: ¥3,150,000)
KeywordsSAT / 制約最適化問題 / 並列処理・分散処理 / 計算機システム
Research Abstract

We conducted the research on SAT technologies for Constraint Satisfaction and Optimization Problems and their parallel/distributed implementations, and published 105 refereed papers and made 67 presentations. In addition, world's leading softwares were developed including a SAT-based CSP/COP solver Sugar which won at the 2008 and 2009 CSP Solver Competitions in global constraint categories, a CDCL type SAT solver GlueMiniSat which won at the 2011 SAT Competition in Applications UNSAT category, and a partial Max-SAT solver QMaxSAT which won at the 2010 and 2011 Max-SAT evaluation in Application category.

Report

(6 results)
  • 2011 Annual Research Report   Final Research Report ( PDF )
  • 2010 Annual Research Report   Self-evaluation Report ( PDF )
  • 2009 Annual Research Report
  • 2008 Annual Research Report
  • Research Products

    (200 results)

All 2012 2011 2010 2009 2008 Other

All Journal Article (118 results) (of which Peer Reviewed: 100 results) Presentation (76 results) Remarks (6 results)

  • [Journal Article] Glue Mini Sat2. 2. 5 :単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012

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

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

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

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

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

    • NAID

      130004549288

    • Related Report
      2011 Annual Research Report 2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] QMaxSAT : A Partial Max-SAT Solver, Journal on Satisfiabiliy2012

    • Author(s)
      M. Koshimura, T. Zhang, H. Fujita, R. Hasegawa
    • Journal Title

      Boolean Modeling and Computation

      Volume: Vol.8 Pages: 95-100

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [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
    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 私のブックマーク:SATソルバー2012

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

      人工知能学会誌

      Volume: (掲載決定)

    • Related Report
      2011 Annual Research Report
  • [Journal Article] QMaxSAT : A Partial Max-SAT Solver2012

    • Author(s)
      Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, Ryuzo Hasegawa
    • Journal Title

      Journal on Satisfiability, Boolean Modeling and Computation

      Volume: 8 Pages: 95-100

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

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

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

      Volume: (掲載決定)

    • NAID

      130004549290

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 値変更コスト付き動的SATの定式化とその解法2011

    • Author(s)
      波多野大督, 平山勝敏
    • Journal Title

      人工知能学会論文誌

      Volume: 26巻, 6号 Pages: 682-691

    • NAID

      130001495965

    • Related Report
      2011 Annual Research Report 2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] 擬似木に基づく分散制約最適化問題の精度保証付き非厳密解法の提案2011

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

      情報処理学会論文誌

      Volume: 52巻, 12号 Pages: 3786-3795

    • NAID

      110008719953

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

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] 分散制約充足問題:特定の制約網に特化した変数順序付けヒューリスティックの提案2011

    • Author(s)
      沖本天太, 岩崎敦, 横尾真
    • Journal Title

      情報処理学会論文誌

      Volume: 52(4) Pages: 3018-3029

    • NAID

      110008677679

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 架空名義操作不可能な施設配置メカニズムの特徴付け2011

    • Author(s)
      東藤大樹, 岩崎敦, 横尾真
    • Journal Title

      情報処理学会論文誌

      Volume: 52(4) Pages: 1657-1666

    • NAID

      110008507998

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] モンテカルロゲーム木探索に基づく限量記号付き制約充足問題の実時間解決2011

    • Author(s)
      馬場里美, 岩崎敦, 横尾真
    • Journal Title

      電子情報通信学会論文誌

      Volume: Vol.J94-D No.11 Pages: 1729-1739

    • NAID

      110008761624

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 協力ゲームにおける特性関数のエージェントのタイプに基づく簡略表記法2011

    • Author(s)
      上田俊, 北木真, 岩崎敦, 横尾真
    • Journal Title

      電子情報通信学会論文誌

      Volume: Vol.J94-D No.11 Pages: 1716-1728

    • NAID

      110008761623

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] MC-netsを用いた提携構造形成アルゴリズムの拡張:負の利得と外部性の導入2011

    • Author(s)
      一村良, 長谷川隆人, 上田俊, 岩崎敦, 横尾真
    • Journal Title

      電子情報通信学会論文誌

      Volume: Vol.J94-D No.11 Pages: 1707-1715

    • NAID

      110008761622

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Distributed on-Line Multi-Agent Optimization under Uncertainty : Balancing Exploration and Exploitation2011

    • Author(s)
      Matthew E.Taylor, Manish Jain, Prateek Tandon, Makoto Yokoo, Milind Tambe
    • Journal Title

      Advances in Complex Systems

      Volume: 14(3) Issue: 03 Pages: 471-528

    • DOI

      10.1142/s0219525911003104

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Dynamic SAT with Decision Change Costs : Formalization and Solutions2011

    • Author(s)
      Daisuke Hatano, Katsutoshi Hirayama
    • Journal Title

      Proc.of 22nd Int'l Joint Conf.on Artificial Intelligence (IJCAI 2011)

      Pages: 560-565

    • NAID

      130001495965

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

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] QMaxSAT version 0.3 & 0.42011

    • Author(s)
      Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
    • Journal Title

      Proc.of 8th Int'l Workshop on First-Order Theorem Proving (FTP 2011)

      Pages: 7-15

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Combining PSO and Local Search to Solve Scheduling Problems2011

    • Author(s)
      Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
    • Journal Title

      Proc.of 13th Annual Conf.Companion on Genetic and Evolutionary Computation (GECCO 2011)

      Pages: 347-354

    • DOI

      10.1145/2001858.2002017

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Query-driven Coordination of Multiple Answer Sets2011

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

      Proc.of 86h Int'l Workshop on Declarative Agent Languages and Technologies VIII (DALT 2010)

      Volume: 6619 Pages: 40-59

    • DOI

      10.1007/978-3-642-20715-0_3

    • ISBN
      9783642207143, 9783642207150
    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Probabilistic Rule Learning in Nonmonotonic Domains2011

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

      Proc.of 12th Int'l Workshop on the Computational Logic in Multi-Agent Systems (CLIMA-XII)

      Pages: 243-258

    • DOI

      10.1007/978-3-642-22359-4_17

    • ISBN
      9783642223587, 9783642223594
    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Answer-Set Programming as a New Approach to Event-Sequence Testing2011

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

      Proc.of 3rd Int'l Conf.on Advances in System Testing and Validation Lifecycle (VALID 2011)

      Pages: 25-34

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Logic Programming for Boolean Networks2011

    • Author(s)
      Katsumi Inoue
    • Journal Title

      Proc.of 22nd Int'l Joint Conf.on Artificial Intelligence (IJCAI 2011)

      Pages: 924-930

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction2011

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

      Proc.of 19th Int'l Conf.on Applications of Declarative Programming and Knowledge Management (INAP 2011)

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Analyzing Pathways Using ASP-Based Approaches2011

    • Author(s)
      Oliver Ray, Takehide Soh, Katsumi Inoue
    • Journal Title

      Algebraic and Numeric Biology : Proceedings of the 2010 International Conference (ANB'10), Lecture Notes in Computer Science

      Volume: 6479 Pages: 167-183

    • DOI

      10.1007/978-3-642-28067-2_10

    • ISBN
      9783642280665, 9783642280672
    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams (Best Paper Award)2011

    • Author(s)
      Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shin-ichi Minato, Makoto Yokoo
    • Journal Title

      Proc.of 14th Int'l Conf.on Principles and Practice of Multiagent Systems (PRIMA 2011)

      Pages: 4-18

    • DOI

      10.1007/978-3-642-25044-6_4

    • ISBN
      9783642250439, 9783642250446
    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] The Design of Cryptographic Substitution Boxes using CSPs (Best Application Paper Award)2011

    • Author(s)
      Venkatesh Ramamoorthy, Marius Silaghi, Toshihiro Matsui, Katsutoshi Hirayama Makoto Yokoo
    • Journal Title

      Proc.of 17th Int'l Conf.on Principles and Practice of Constraint Programming (CP 2011)

      Pages: 54-68

    • DOI

      10.1007/978-3-642-23786-7_7

    • ISBN
      9783642237850, 9783642237867
    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Reducing the Search Space of Resource Constrained DCOPs2011

    • Author(s)
      Toshihiro Matsui, Marius Silaghi, Katsutoshi Hirayama, Makoto Yokoo, Boi Faltings, Hiroshi Matsuo
    • Journal Title

      Proc.of 17th Int'l Conf.on Principles and Practice of Constraint Programming (CP 2011)

      Volume: 6876/2011 Pages: 576-590

    • DOI

      10.1007/978-3-642-23786-7_44

    • ISBN
      9783642237850, 9783642237867
    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Pseudeo-Tree-Based Incomplete Algorithm for Distributed Constraint Optimization with Quality Bounds2011

    • Author(s)
      Tenda Okimoto, Yongjoon Joe, Atsushi Iwasaki, Makoto Yokoo, Boi Faltings
    • Journal Title

      Proc.of 17th Int'l Conf.on Principles and Practice of Constraint Programming (CP 2011)

      Pages: 660-674

    • DOI

      10.1007/978-3-642-23786-7_50

    • ISBN
      9783642237850, 9783642237867
    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Generalizing Envy-Freeness toward Group of Agents2011

    • Author(s)
      Taiki Todo, Runcong Li, Xuemei Hu, Takayuki Mouri, Atsushi Iwasaki, Makoto Yokoo
    • Journal Title

      Proc.of 22nd Int'l Joint Conf.on Artificial Intelligence (IJCAI 2011)

      Pages: 386-392

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Concise Characteristic Function Representations in Coalitional Games Based on Agent Types2011

    • Author(s)
      Suguru Ueda, Makoto Kitaki, Atsushi Iwasaki, Makoto Yokoo
    • Journal Title

      Proc.of 22nd Int'l Joint Conf.on Artificial Intelligence (IJCAI 2011)

      Pages: 393-399

    • NAID

      110008761623

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Real-Time Solving of Quantified CSPs Based on Monte-Carlo Game Tree Search2011

    • Author(s)
      Satomi Baba, Yongjoon Joe, Atsushi Iwasaki, Makoto Yokoo
    • Journal Title

      Proc.of 22nd Int'l Joint Conf.on Artificial Intelligence (IJCAI 2011)

      Pages: 655-661

    • NAID

      110008761624

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] False-name bidding in first-price combinatorial aucitons with incomplete information2011

    • Author(s)
      Atsushi Iwasaki, Atsushi Katsuragi, Makoto Yokoo
    • Journal Title

      Proc.of 10th Int'l Conf.on Autonomous Agents and Multiagent Systems (AAMAS 2011)

      Pages: 541-548

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] False-name-proof Mechanism Design without Money2011

    • Author(s)
      Taiki Todo, Atsushi Iwasaki, Makoto Yokoo
    • Journal Title

      Proc.of 10th Int'l Conf.on Autonomous Agents and Multiagent Systems (AAMAS 2011)

      Pages: 651-658

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 敵対者に対応する協調問題解決:限量記号付き分散制約充足問題2011

    • Author(s)
      馬場里美, 岩崎敦, 横尾真, M.C.Silaghi, 平山勝敏, 松井俊浩
    • Journal Title

      人工知能学会論文誌

      Volume: 26・1 Pages: 136-146

    • NAID

      130000455363

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 分散ラグランジュ緩和プロトコルにおける適応的な価格更新2011

    • Author(s)
      平山勝敏, 松井俊浩, 横尾真
    • Journal Title

      人工知能学会論文誌

      Volume: 26・1 Pages: 59-67

    • NAID

      130000455355

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 第一価格入札における架空名義入札の影響の解析2011

    • Author(s)
      桂木敦史, 櫻井祐子, 岩崎敦, 横尾真
    • Journal Title

      人工知能学会論文誌

      Volume: 26・1 Pages: 199-207

    • NAID

      130000455369

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 予算制約を持つ入札者を対象とした再配分メカニズムの提案2011

    • Author(s)
      櫻井祐子, 横尾真
    • Journal Title

      人工知能学会論文誌

      Volume: 26・1 Pages: 217-227

    • NAID

      130000455371

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 収人単調性を満たすオークションメカニズムの特性及びぞの架空名義操作不可能性との関係2011

    • Author(s)
      東藤大樹, 岩崎敦, 横尾真
    • Journal Title

      人工知能学会諭文誌

      Volume: 26・1 Pages: 86-96

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 分散制約最適化問題に基づく提携構造形成問題2011

    • Author(s)
      上田俊, 岩崎敦, 横尾真, M.C.Silaghi, 平山勝敏, 松尾啓志
    • Journal Title

      人工知能学会論文誌

      Volume: 26・1 Pages: 179-189

    • NAID

      130007422581

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology2011

    • Author(s)
      G.Synnneve, K.Inone, A.Doncescu, H.Nabeshima, Y.Katneya, M.Ishihatn, T.Sato
    • Journal Title

      Int'l Conf. on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2011)

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] SAT変換に基づく制約ソルバーとその性能評価2010

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

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

      Volume: 27巻 Pages: 183-196

    • NAID

      130004549193

    • Related Report
      2011 Final Research Report 2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Solving Open Job-Shop Scheduling Problems by SAT Encoding2010

    • Author(s)
      M. Koshimura, H. Nabeshima, H. Fujita, R. Hasegawa
    • Journal Title

      IEICE Trans. on Information and Systems

      Volume: Vol.E93-D Pages: 2316-2318

    • NAID

      10027365040

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [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

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] From Inverse Entailment to Inverse Subsumption2010

    • Author(s)
      Y. Yamamoto, K. Inoue, K. Iwanuma
    • Journal Title

      Proc of 20th Int' l Conf. on Inductive Logic Programming(ILP 2010)

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] 分散制約最適化問題へのソフトアーク整合の適用2010

    • Author(s)
      松井俊浩, M. C. Silaghi, 平山勝敏, 横尾真, 松尾啓志
    • Journal Title

      人工知能学会論文誌

      Volume: 25巻 Pages: 410-422

    • NAID

      130000259094

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] SAT変換に基づく制約ソルバーとその性能評価2010

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

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

      Pages: 183-196

    • NAID

      130004549193

    • Related Report
      2010 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] Solving Open Job-Shop Scheduling Problems by SAT Encoding2010

    • Author(s)
      M.Koshimura, H.Nabeshima, H.Fujita, R.Hasegawa
    • Journal Title

      IEICE Trans.on Information and Systems Vol.E93-D

      Pages: 2316-2318

    • NAID

      10027365040

    • Related Report
      2010 Self-evaluation Report
  • [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

    • Related Report
      2010 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] 分散制約最適化問題へのソフトアーク整合の適用2010

    • Author(s)
      松井俊浩, M.C.Silaghi, 平山勝敏, 横尾真, 松尾啓志
    • Journal Title

      人工知能学会論文誌 25巻

      Pages: 410-422

    • NAID

      130000259094

    • Related Report
      2010 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] Balancing local resources and global goals in multiply-constrained DCOP2010

    • Author(s)
      E.Bowring, M.Tambe, M.Yokoo
    • Journal Title

      Journal of Multiagent and Grid Systems (MACS)

      Volume: 6・4 Pages: 353-393

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Solving Open Job-Shop Scheduling Problems by SAT Encoding2010

    • Author(s)
      M.Koshinmura, H.Nabeshima, H.Fujita, R.Hasegawa
    • Journal Title

      IEICE TRANSACTIONS on Information and Systems

      Volume: E93-D・8 Pages: 2316-2318

    • NAID

      10027365040

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 分散制約最適化問題へのソフトアーク整合の適用2010

    • Author(s)
      松井俊浩, M.C.Silaghi, 平山勝敏, 横尾真, 松尾啓志
    • Journal Title

      人工知能学会論文誌

      Volume: 25・3 Pages: 410-422

    • NAID

      130000259094

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Keyword Auction Protocol for Dynamically Adjusting the Number of Advertisements2010

    • Author(s)
      Y.Sakurai, A.Iwasaki, M.Yokoo
    • Journal Title

      Web Intelligence and Agent Systems (WIAS)

      Volume: 8・3 Pages: 331-341

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

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Introducing Communication, in Dis-POMDPs with Locality of Interaction2010

    • Author(s)
      M.Tasaki, Y.Yabu, Y.Iwanari, M.Yokoo, J.Marecki, P.Varakantham, M.Tambe
    • Journal Title

      Web Intelligence and Agent Systems (WIAS)

      Volume: 8・3 Pages: 303-311

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Multi-Layer Hybrid Particle Swarm Optimization Model for Flow Shop Scheduling Problem2010

    • Author(s)
      X.-F.Zhang, B.Tong, M.Kosshimura, H.Fujita, R.Hasegawa
    • Journal Title

      Australian Journal of Intelligent Information Processing Systems

      Volume: 12・4 Pages: 1-6

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Cooperative Problem Solving against Adversary : Quantified Distributed Constraint Satisfaction Problem2010

    • Author(s)
      S.Baba, M.Yokoo, T.Matsuni, A.Iwasaki, M.Silaghi, K.Hirayama, N.Nishimura
    • Journal Title

      9th Int'l Joint Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS-2010)

      Pages: 781-788

    • NAID

      130000455363

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

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Rule Extraction from Blog Using Inductive Logic Programming2010

    • Author(s)
      N.Chikara, M.Koshimura, H.Fujita, R.Hasegawa
    • Journal Title

      Int'l Workshop on Web Personalization and Recommender Systems

      Pages: 269-272

    • NAID

      130008064889

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Hypothesizing about Networks by Meta-level Abduction2010

    • Author(s)
      K.Inoue, A.Doncescu, H.Nabeshima
    • Journal Title

      20th Int'l Conf. on Inductive Logic Programming (ILP 2010)

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Worst-case efficiency ratio in false-name-proof combinatorial auction mechanisms2010

    • Author(s)
      A.Iwasaki, V.Conitzer, Y.Omori, Y.Sakurai, T.Todo, M.Guo, M.Yokoo
    • Journal Title

      9th Int'l Joint Conf. on Autonomous Agents and Multi-Agent System (AAMAS-2010)

      Pages: 633-640

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Quantified Distributed Constraint Optimization Problem2010

    • Author(s)
      T.Matsui, M.Yokoo, S.Baba, M.Silaghi, K.Hirayama, H.Matauo
    • Journal Title

      9th Int'l Joint Conf. on Autonomous Agents and Multi-Agent System (AAMAS-2010)

      Pages: 1023-1030

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Effect of DisCSP Variable-Ordering Heuristics in Scale-free Networks2010

    • Author(s)
      T.Okimoto, A.Iwasaki, M.Yokoo
    • Journal Title

      13th Int'l Conf. on Principles and Practice of Multi-Agent Systems (PRIMA-2010)

    • NAID

      40020267887

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Finding Minimal Reaction Sets in Large Metabolic Pathways2010

    • Author(s)
      T.Soh, K.Inoue
    • Journal Title

      Workshop on Constraint Based Methods for Bioinformatics (WCB 2010)

      Pages: 54-68

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation2010

    • Author(s)
      T.Soh, K.Inoue
    • Journal Title

      6th Conf. on Prestigious Applications of Intelligent Systems (PAIS 2010)

      Pages: 277-282

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] When Should There be a "Me" in "Team"? : Distributed Multi-Agent Optimization Under Uncertainty2010

    • Author(s)
      M.Taylor, M.Jain, Y.Jin, M.Yokoo, M.Tambe
    • Journal Title

      9th Int'l Joint Conf. on Autonomous Agents and Multi-Agent System (AAMAS-2010)

      Pages: 109-116

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Coalition Structure Generation based on Distributed Constraint Optimization2010

    • Author(s)
      S.Ueda, A.Iwasaki, M.Yokoo, M.C.Silaghi, K.Hirayama, T.Matsui
    • Journal Title

      24th AAAI Conf. on Artificial Intelligence (AAAI-2010)

      Pages: 197-203

    • NAID

      130000455367

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] From Inverse Entailment to Inverse Subsumption2010

    • Author(s)
      Y.Yamamoto, K.Inoue, K.Iwanuma
    • Journal Title

      20th Int'l Conf. on Inductive Logic Programming (ILP 2010)

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] SOLAR : An Automated Deduction System for Consequence Finding2010

    • Author(s)
      H.Nabeshima, K.Iwanuma, K.Inoue.O.Ray
    • Journal Title

      AI Communications 23

      Pages: 183-203

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 分散制約最適化問題へのソフトアーク整合の適用2010

    • Author(s)
      松井俊浩, M.C.Silaghi, 平山勝敏, 横尾真, 松尾啓志
    • Journal Title

      人工知能学会論文誌 25・3(掲載確定)

    • NAID

      130000259094

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 特集「最近のSAT技術の発展」にあたって2010

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

      人工知能学会誌 25・1

      Pages: 56-56

    • Related Report
      2009 Annual Research Report
  • [Journal Article] SATソルバーの基礎2010

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

      人工知能学会誌 25・1

      Pages: 57-67

    • Related Report
      2009 Annual Research Report
  • [Journal Article] 高速SATソルバーの原理2010

    • Author(s)
      鍋島英知, 宋剛秀
    • Journal Title

      人工知能学会誌 25・1

      Pages: 68-76

    • Related Report
      2009 Annual Research Report
  • [Journal Article] 制約最適化問題とSAT符号化2010

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

      人工知能学会誌 25・1

      Pages: 77-85

    • Related Report
      2009 Annual Research Report
  • [Journal Article] SMT:個別理論を取り扱うSAT技術2010

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

      人工知能学会誌 25・1

      Pages: 86-95

    • Related Report
      2009 Annual Research Report
  • [Journal Article] モデル列挙とモデル計数2010

    • Author(s)
      長谷川隆三, 藤田博, 越村三幸
    • Journal Title

      人工知能学会誌 25・1

      Pages: 96-104

    • Related Report
      2009 Annual Research Report
  • [Journal Article] ★-SAT:SATの拡張2010

    • Author(s)
      平山勝敏, 横尾真
    • Journal Title

      人工知能学会誌 25・1

      Pages: 105-113

    • Related Report
      2009 Annual Research Report
  • [Journal Article] SATによるプランニングとスケジューリング2010

    • Author(s)
      鍋島英知
    • Journal Title

      人工知能学会誌 25・1

      Pages: 114-121

    • Related Report
      2009 Annual Research Report
  • [Journal Article] SATによるシステム検証2010

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

      人工知能学会誌 25・1

      Pages: 122-129

    • Related Report
      2009 Annual Research Report
  • [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

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [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

    • Related Report
      2010 Self-evaluation Report
  • [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

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] ADOPT-ing : unifying asynchronous distributed optimization with asynchronous backtracking2009

    • Author(s)
      M.C.Silaghi, M.Yokoo
    • Journal Title

      Journal of Autonomous Agents and Multi-Agent Systems 19・2

      Pages: 89-123

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Coordination Planning : Applying Control Synthesis Methods for a Class of Distributed Agents2009

    • Author(s)
      K.T.Seow, C.Ma, M.Yokoo
    • Journal Title

      IEEE Transactions on Control Systems Technology 17・2

      Pages: 405-415

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 資源制約に束縛されない pseudo-tree を用いた資源制約付き分散制約最適化問題の解法2009

    • Author(s)
      松井俊活, M.C.Silaghi, 平山勝敏, 横尾真, 松尾啓志
    • Journal Title

      人工知能学会誌 24・5

      Pages: 417-427

    • NAID

      130000137876

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 開環境での協力ゲームにおける解の簡略記述法2009

    • Author(s)
      大田直樹, 岩崎敦, 横尾真, V.Conitzer, T.Sandholm
    • Journal Title

      情報処理学会論文誌 50・12

      Pages: 3211-3221

    • NAID

      40019547491

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 匿名操作不可能シャプレイ値:開環境での協力ゲームへのシャプレイ値の拡張2009

    • Author(s)
      大田直樹, 佐藤恭史, 岩崎敦, 横尾真, V.Conitzer
    • Journal Title

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

      Pages: 181-196

    • NAID

      130004549154

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Take-it-or-Leave-it 方式の再配分オークションメカニズムの提案2009

    • Author(s)
      櫻井祐子, 斎藤恭昌, 岩崎敦, 横尾真
    • Journal Title

      電子情報通信学会論文誌 J92-D・11

      Pages: 1861-1868

    • NAID

      110007467227

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] セキュアキーワード広告オークションプロトコルの提案2009

    • Author(s)
      櫻井祐子, 横尾真, 岩崎敦, 鈴木幸太郎
    • Journal Title

      電子情報通信学会論文誌 J92-D・11

      Pages: 1881-1889

    • NAID

      110007081210

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 架空名義操作不可能な組合せオークションの割当規則の特性2009

    • Author(s)
      東藤大樹, 岩崎敦, 横尾真, 櫻井祐子
    • Journal Title

      電子情報通信学会論文誌 J92-D・11

      Pages: 1890-1901

    • NAID

      130007425741

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Adaptive Price Update in Distributed Lagrangian Relaxation Protocol2009

    • Author(s)
      K.Hirayama, T.Matsui, M.Yokoo
    • Journal Title

      8th International Joint Conference on Autonomous Agents & Multi-Agent Systems(AAMAS-2009)

      Pages: 1033-1040

    • NAID

      130000455355

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Directed Soft Arc Consistency in Pseudo Trees2009

    • Author(s)
      T.Matsui, M.Silaghi, K.Hirayama, M.Yokoo, H.Matsuo
    • Journal Title

      8th International Joint Conference on Autonomous Agents & Multi-Agent Systems(AAMAS-2009)

      Pages: 1065-1072

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Characterizing False-name-proof Allocation Rules in Combinatorial Auctions2009

    • Author(s)
      T.Todo, A.Iwasaki, M.Yokoo, Y.Sakurai
    • Journal Title

      8th International Joint Conference on Autonomous Agents & Multi-Agent Systems(AAMAS-2009)

      Pages: 265-272

    • NAID

      110007081220

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Characterization of Strategy-proof, Revenue Monotone Combinatorial Auction Mechanisms and Connection with False-name-proofness2009

    • Author(s)
      T.Todo, A.Iwasaki, M.Yokoo
    • Journal Title

      Fifth Workshop on Internet & Network Economics(WINE-09)

      Pages: 561-568

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Coalition Structure Generation Utilizing Compact Characteristic Function Representations2009

    • Author(s)
      N.Ohta, V.Conitzer, R.Ichimura, Y.Sakurai, A.Iwasaki, M.Yokoo
    • Journal Title

      15th International Conference on Principles and Practice of Constraint Programming(CP-2009)

      Pages: 623-638

    • NAID

      130000674848

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] DCOPs Meet the Real World : Exploring Unknown Reward Matrices with Applications to Mobile Sensor Networks2009

    • Author(s)
      M.Jain, M.Taylor, M.Tambe, M.Yokoo
    • Journal Title

      International Joint Conference on Artificial Intelligence(IJCAI-2009)

      Pages: 181-186

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Minimal Model Generation with Respect to an Atom Set2009

    • Author(s)
      M.Koshimura, H.Nabeshima, H.Fujita, R.Hasegawa
    • Journal Title

      7th International Workshop on First-Order Theorem Proving(FTP 2009)

      Pages: 49-59

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Compiling Finite Linear CSP into SAT2009

    • Author(s)
      Naoyuki Tamura
    • Journal Title

      Constraints Vol. 14, Issue 2

      Pages: 254-272

    • NAID

      120000944873

    • Related Report
      2008 Annual Research Report
  • [Journal Article] Multi-MaxSAT : ラグランジュ分解・調整法を用いたWeighted Max-SAT問題の解法2009

    • Author(s)
      黒田 陽之
    • Journal Title

      電子情報通信学会論文誌D Vol. J92-D, No. 1

      Pages: 51-60

    • Related Report
      2008 Annual Research Report
  • [Journal Article] Adaptive Price Update in Distributed Lagrangian Relaxation Protocol2009

    • Author(s)
      Katsutoshi Hirayama
    • Journal Title

      8th International Conference on Autonomous Agentsand Multiagent Systems (AAMAS-2009) (掲載確定)

    • NAID

      130000455355

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Directed Soft Arc Consistency in Pseudo-trees2009

    • Author(s)
      Toshihiro Matsui
    • Journal Title

      8th International Conference on Autonomous Agentsand Multiagent Systems (AAMAS-2009) (掲載確定)

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 論理プログラミングから解集合プログラミングへ2008

    • Author(s)
      井上克巳
    • Journal Title

      コンピュータソフトウェア Vol. 25, No. 3

      Pages: 20-32

    • NAID

      110006840397

    • Related Report
      2008 Annual Research Report
  • [Journal Article] 適切な掲載数を決定するキーワード広告オークションプロトコルの提案2008

    • Author(s)
      櫻井祐子
    • Journal Title

      コンピュータ ソフトウェア Vol. 25, No. 4

      Pages: 60-67

    • Related Report
      2008 Annual Research Report
  • [Journal Article] マルチエージェント部分観測可能マルコフ決定過程のプラン構築への通信の導入2008

    • Author(s)
      田崎 誠
    • Journal Title

      コンピュータ ソフトウェア Vol, 25, No. 4

      Pages: 226-237

    • Related Report
      2008 Annual Research Report
  • [Journal Article] チーム選択問題のための架空名義操作不可能なオークションメカニズムの提案2008

    • Author(s)
      斎藤 恭昌
    • Journal Title

      コンピュータ ソフトウェア Vol. 25, No. 4

      Pages: 199-207

    • Related Report
      2008 Annual Research Report
  • [Journal Article] Introducing Communication in Dis-POMDPs with Locality of Interaction2008

    • Author(s)
      Makolo Tasaki
    • Journal Title

      IEEE/WIC/ACM International Conference onIntelligent Agent Technology (IAT-2008)

      Pages: 169-175

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Beyond quasi-linear utility : strategy/false-name-proof multi←unit auctionprotocols (Best Paper Award)2008

    • Author(s)
      Yuko Sakurai
    • Journal Title

      IEEE/WIC/ACM International Conference onIntelligent Agent Technology (IAT-2008)

      Pages: 417-423

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Keyword Auction Protocol for Dynamically Adjusting the Number of Advertisements2008

    • Author(s)
      Yuko Sakurai
    • Journal Title

      IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-2008)

      Pages: 410-416

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Not All Agents Are Equal : Scaling up Distributed POMDPs for Agent Networks2008

    • Author(s)
      Janusz Marecki
    • Journal Title

      Seventh International Joint Conference on Autonomous Agents and Multi-Agent System(AAMAS-2008)

      Pages: 485-492

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Anonymity-Proof Shapley Value : Extending Shapley Value for Coalitiohal Games in Open Environments (Best Student Paper Award)2008

    • Author(s)
      Naoki Ohta
    • Journal Title

      Seventh International Joint Conference onAutonomous Agents and Multi-Agent System(AAMAS-2008)

      Pages: 927-934

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Resource Constrained Distributed Constraint Optimization with Virtual Variables2008

    • Author(s)
      Toshihiro Matsui
    • Journal Title

      23rcl AAAI Conference on Artificial Intelligence(AAAI-2008)

      Pages: 120-125

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

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Sugar++ : ASAT-based MAx-CSP/COP Solver2008

    • Author(s)
      Tomoya Tanjo
    • Journal Title

      Third International CSP Solver Competition

      Pages: 77-82

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

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem

    • Author(s)
      Takehide Soh
    • Journal Title

      15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRAO8) (掲載確定)

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Presentation] Azucar:コンパクト順序符号化を用いたSAT型制約ソルバー2012

    • Author(s)
      丹生智也, 田村直之, 番原睦則,
    • Organizer
      第14回プログラミングおよびプログラミング言語ワークショップ(PPL 2012)
    • Place of Presentation
      むさし(和歌山県)
    • Year and Date
      2012-03-08
    • Related Report
      2011 Annual Research Report
  • [Presentation] 充足可能性判定器に基づく命題論理の結論発見器の提案2012

    • Author(s)
      鈴木健士郎, 鍋島英知, 岩沼宏治
    • Organizer
      人工知能学会第85回人工知能基本問題研究会
    • Place of Presentation
      下呂交流会館(岐阜県)
    • Year and Date
      2012-02-03
    • Related Report
      2011 Annual Research Report
  • [Presentation] SATソルバーの探索戦略効率化に向けた合理的尺度の導入検証2012

    • Author(s)
      村松匠, 鍋島英知
    • Organizer
      人工知能学会第85回人工知能基本問題研究会
    • Place of Presentation
      下呂交流会館(岐阜県)
    • Year and Date
      2012-02-03
    • Related Report
      2011 Annual Research Report
  • [Presentation] 局所対称性除去によるCDCLソルバーの効率改善に向けて2011

    • Author(s)
      金澤潤二, 鍋島英知
    • Organizer
      人工知能学会第84回人工知能基本問題研究会
    • Place of Presentation
      慶応義塾大学(神奈川県)
    • Year and Date
      2011-12-16
    • Related Report
      2011 Annual Research Report
  • [Presentation] SAT型制約ソルバーSugarとScalaインターフェイスについて2011

    • Author(s)
      田村直之, 丹生智也, 番原睦則
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業支援センター(沖縄県)
    • Year and Date
      2011-09-29
    • Related Report
      2011 Annual Research Report
  • [Presentation] QMaxSAT:部分MaxSATソルバーの簡便な一実装2011

    • Author(s)
      越村三幸, 安宣〓, 藤田博, 長谷川隆三
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業支援センター(沖縄県)
    • Year and Date
      2011-09-29
    • Related Report
      2011 Annual Research Report
  • [Presentation] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2011

    • Author(s)
      鍋島英知, 岩沼宏治, 井上克巳
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業支援センター(沖縄県)
    • Year and Date
      2011-09-29
    • Related Report
      2011 Annual Research Report
  • [Presentation] 位取り記数法に基づく整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化2011

    • Author(s)
      丹生智也, 田村直之, 番原睦則
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業支援センター(沖縄県)
    • Year and Date
      2011-09-27
    • Related Report
      2011 Annual Research Report
  • [Presentation] UNIXのFORK機能に基づくSATソルバーの並列化2011

    • Author(s)
      明石裕子, 越村三幸, 藤田博, 長谷川隆三
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業支援センター(沖縄県)
    • Year and Date
      2011-09-27
    • Related Report
      2011 Annual Research Report
  • [Presentation] 局所対称性除去によるCDCLソルバーの効率化手法の検討2011

    • Author(s)
      金澤潤二, 鍋島英知
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業支援センター(沖縄県)
    • Year and Date
      2011-09-27
    • Related Report
      2011 Annual Research Report
  • [Presentation] 自動メカニズムデザインを利用した組合せオークションのルール抽出アルゴリズムの提案2011

    • Author(s)
      毛利貴之, 杉町勇和, 東藤大樹, 岩崎敦, 横尾真
    • Organizer
      第10回情報科学技術フォーラム(FIT 2011)
    • Place of Presentation
      函館大学(北海道)
    • Year and Date
      2011-09-07
    • Related Report
      2011 Annual Research Report
  • [Presentation] 値変更コスト付き動的CSPの定式化とその解法2011

    • Author(s)
      波多野大督, 平山勝敏
    • Organizer
      2011年度人工知能学会全国大会(JSAI 2011)
    • Place of Presentation
      いわて県民情報交流センター(岩手県)
    • Year and Date
      2011-06-03
    • Related Report
      2011 Annual Research Report
  • [Presentation] SAT符号化を用いた釣合い型不完備ブロック計画の構成2011

    • Author(s)
      松中春樹, 丹生智也, 番原睦則, 田村直之
    • Organizer
      2011年度人工知能学会全国大会(JSAI 2011)
    • Place of Presentation
      いわて県民情報交流センター(岩手県)
    • Year and Date
      2011-06-03
    • Related Report
      2011 Annual Research Report
  • [Presentation] 整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化2011

    • Author(s)
      丹生智也, 田村直之, 番原睦則
    • Organizer
      2011年度人工知能学会全国大会(JSAI 2011)
    • Place of Presentation
      いわて県民情報交流センター(岩手県)
    • Year and Date
      2011-06-03
    • Related Report
      2011 Annual Research Report
  • [Presentation] SOLタブロー計算法に基づく命題論理の充足可能性判定器の実現2011

    • Author(s)
      鈴木健士郎, 鍋島英知
    • Organizer
      2011年度人工知能学会全国大会(JSAI 2011)
    • Place of Presentation
      いわて県民情報交流センター(岩手県)
    • Year and Date
      2011-06-03
    • Related Report
      2011 Annual Research Report
  • [Presentation] 一般双対化問題における冗長節生成の抑止法とその評価2011

    • Author(s)
      山本泰生, 鍋島英知, 岩沼宏治
    • Organizer
      2011年度人工知能学会全国大会(JSAI 2011)
    • Place of Presentation
      いわて県民情報交流センター(岩手県)
    • Year and Date
      2011-06-03
    • Related Report
      2011 Annual Research Report
  • [Presentation] Nelson-Oppen法を組み込んだSMTソルバの設計2011

    • Author(s)
      福田寿志, 岩沼宏治, 山本泰生
    • Organizer
      2011年度人工知能学会全国大会(JSAI 2011)
    • Place of Presentation
      いわて県民情報交流センター(岩手県)
    • Year and Date
      2011-06-03
    • Related Report
      2011 Annual Research Report
  • [Presentation] QMaxSAT : Q-dai MaxSATソルバー2011

    • Author(s)
      越村三幸
    • Organizer
      2011年度人工知能学会全国大会(JSAI 2011)
    • Place of Presentation
      いわて県民情報交流センター(岩手県)
    • Year and Date
      2011-06-03
    • Related Report
      2011 Annual Research Report
  • [Presentation] SAT型制約ソルバーSugarについて2011

    • Author(s)
      田村直之, 丹生智也, 番原睦則
    • Organizer
      第81回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      山梨大学
    • Year and Date
      2011-01-31
    • Related Report
      2011 Final Research Report
  • [Presentation] SAT型制約ソルバーSugarについて2011

    • Author(s)
      田村直之, 丹生智也, 番原睦則
    • Organizer
      第81回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      山梨大学(招待講演)
    • Year and Date
      2011-01-31
    • Related Report
      2010 Self-evaluation Report
  • [Presentation] SAT型制約ソルバーSugarについて2011

    • Author(s)
      田村直之, 丹生智也, 番原睦則
    • Organizer
      第81回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      山梨人学(山梨県)(招待講演)
    • Year and Date
      2011-01-31
    • Related Report
      2010 Annual Research Report
  • [Presentation] Partial Max-SATソルバーQMaxSATの評価2011

    • Author(s)
      越村三幸, 張トウ, 藤田博, 長谷川隆三
    • Organizer
      人工知能学会 第81回人工知能基本問題研究会
    • Place of Presentation
      山梨大学(山梨県)
    • Year and Date
      2011-01-31
    • Related Report
      2010 Annual Research Report
  • [Presentation] リテラルブロック距離に基づく良い学習節の評价と獲得によるSATソルバの性能改善2011

    • Author(s)
      鍋島英知, 岩沼宏治
    • Organizer
      第81回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      山梨大学(山梨県)
    • Year and Date
      2011-01-31
    • Related Report
      2010 Annual Research Report
  • [Presentation] 整数有限領域上の線形制約充足問題のコンパクトかつ効率のなSAT符号化の提案2011

    • Author(s)
      丹生智也, 田村直之, 番原睦則
    • Organizer
      第81回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      山梨大学(山梨県)
    • Year and Date
      2011-01-31
    • Related Report
      2010 Annual Research Report
  • [Presentation] 単調双対化計算に基づく一般双対化問題の解法2011

    • Author(s)
      山本泰生, 鍋島英知, 岩沼宏治
    • Organizer
      第81回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      山梨大学(山梨県)
    • Year and Date
      2011-01-31
    • Related Report
      2010 Annual Research Report
  • [Presentation] Nelson-Oppen結合手続きの逆伴意法に基づく改良2011

    • Author(s)
      岩沼宏治
    • Organizer
      第82回情報処理学会・プログラミング研究会
    • Place of Presentation
      宮古島市中央公民館(沖縄県)
    • Year and Date
      2011-01-20
    • Related Report
      2010 Annual Research Report
  • [Presentation] 結論発見手続きSOLタブロー法のための多重探索戦略の提案2010

    • Author(s)
      鈴木健士郎, 鍋島英知, 岩沼宏治
    • Organizer
      第80回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      東京工業大学(東京都)
    • Year and Date
      2010-11-17
    • Related Report
      2010 Annual Research Report
  • [Presentation] 過制約な一般化相互割当問題に対する分散ラグランジュ緩和プロトコル2010

    • Author(s)
      花田研太, 平山勝敏
    • Organizer
      合同エージェントワークショップ&シンポジウム2010(JAWS-2010)
    • Place of Presentation
      富良野町(北海道)
    • Year and Date
      2010-10-28
    • Related Report
      2010 Annual Research Report
  • [Presentation] 値変更コスト付き動的SATのためのモデル追跡2010

    • Author(s)
      波多野大督, 杉本雄太, 平山勝敏
    • Organizer
      合同エージェントワークショップ&シンポジウム2010(JAWS-2010)
    • Place of Presentation
      富良野町(北海道)
    • Year and Date
      2010-10-27
    • Related Report
      2010 Annual Research Report
  • [Presentation] SAT技術を用いた組合せテストケース生成2010

    • Author(s)
      番原睦則, 松中春樹, 田村直之, 井上克巳
    • Organizer
      日本ソフトウェア科学会第27回大会
    • Place of Presentation
      津田塾大学(東京都)
    • Year and Date
      2010-09-13
    • Related Report
      2010 Annual Research Report
  • [Presentation] BOINCによるSATソルバーの並列実行2010

    • Author(s)
      力規晃, 越村三幸, 藤田博, 長谷川隆三
    • Organizer
      第9回情報科学技術フォーラム(FIT2010)
    • Place of Presentation
      九州大学(福岡県)
    • Year and Date
      2010-09-08
    • Related Report
      2010 Annual Research Report
  • [Presentation] 基数制約を用いたMax-SATソルバーの試作2010

    • Author(s)
      張トウ, 越村三幸, 藤田博, 長谷川隆三
    • Organizer
      第9回情報科学技術フォーラム(FIT2010)
    • Place of Presentation
      九州大学(福岡県)
    • Year and Date
      2010-09-08
    • Related Report
      2010 Annual Research Report
  • [Presentation] Model Tracking for Dynamic SAT with Decision Change Costs2010

    • Author(s)
      K.Hirayama, D.Hatano, Y.Sugimoto
    • Organizer
      10th Workshop on Preferences and Soft Constraints (SofT-10)
    • Place of Presentation
      St.Andrews (Scotland)
    • Year and Date
      2010-09-06
    • Related Report
      2010 Annual Research Report
  • [Presentation] モデル生成型SATソルバーMiniMGの性能評価2010

    • Author(s)
      中村徹, 矢野明浩, 越村三幸, 藤田博, 長谷川隆三
    • Organizer
      第78回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      兵庫県立大学(兵庫県)
    • Year and Date
      2010-07-31
    • Related Report
      2010 Annual Research Report
  • [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
    • Related Report
      2011 Final Research Report
  • [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
    • Related Report
      2010 Self-evaluation Report
  • [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
    • Related Report
      2010 Annual Research Report
  • [Presentation] モデル生成を用いた代謝ネットワークにおける極小部分パスウェイの同定2010

    • Author(s)
      宋剛秀, 井上克巳
    • Organizer
      人工知能学会全国大会
    • Place of Presentation
      長崎ブリックホール(長崎県)
    • Year and Date
      2010-06-09
    • Related Report
      2010 Annual Research Report
  • [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
    • Related Report
      2011 Final Research Report
  • [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
    • Related Report
      2010 Self-evaluation Report
  • [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
    • Related Report
      2010 Annual Research Report
  • [Presentation] モデル生成によるSATソルバの並列化2010

    • Author(s)
      矢野明浩
    • Organizer
      情報処理学会創立50周年記念(第72回)全国大会
    • Place of Presentation
      東京大学(東京都)
    • Year and Date
      2010-03-09
    • Related Report
      2009 Annual Research Report
  • [Presentation] 共通記号を持つ背景理論の決定手続きの結合法と効率化について2010

    • Author(s)
      岩沼宏治
    • Organizer
      電子情報通信学会ソフトウエアサイエンス研究会 技術研究報告IEICE-SS2009-67, Vol.109, No.SS-456, pp.115-120
    • Place of Presentation
      鹿児島大学(鹿児島県)
    • Year and Date
      2010-03-08
    • Related Report
      2009 Annual Research Report
  • [Presentation] 架空名義操作不可能な組合せオークションメカニズム:VCGメカニズムの改良2010

    • Author(s)
      毛利貴之, 東藤大樹, 岩崎敦, 横尾真
    • Organizer
      第9回情報科学技術フォーラム(FIT2010)
    • Place of Presentation
      九州大学(福岡県)
    • Related Report
      2010 Annual Research Report
  • [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)
    • Related Report
      2010 Annual Research Report
  • [Presentation] 架空名義操作不可能な施設配置メカニズムの特徴付け2010

    • Author(s)
      東藤大樹, 岩崎敦, 横尾真
    • Organizer
      第9回情報科学技術フォーラム(FIT2010)
    • Place of Presentation
      九州大学(福岡県)
    • Related Report
      2010 Annual Research Report
  • [Presentation] Solving Hard Combinatorial Problems with SAT Solvers2009

    • Author(s)
      Hiroshi Fujita
    • Organizer
      Dagstuhl Seminar 09461 Algorithms and Applications for Next Generation SAT Solvers
    • Place of Presentation
      Schloss Dagstuhl(ドイツ)
    • Year and Date
      2009-11-12
    • Related Report
      2009 Annual Research Report
  • [Presentation] Minimal model generation with MGTP and DPLL2009

    • Author(s)
      Ryuzo Hasegawa
    • Organizer
      Dagstuhl Seminar 09461 Algorithms and Applications for Next Generation SAT Solvers
    • Place of Presentation
      Schloss Dagstuhl(ドイツ)
    • Year and Date
      2009-11-10
    • Related Report
      2009 Annual Research Report
  • [Presentation] SAT変換による未解決ジョブショップスケジューリング問題への挑戦2009

    • Author(s)
      越村三幸
    • Organizer
      スケジューリング・シンポジウム2009
    • Place of Presentation
      岡山大学(岡山県)
    • Year and Date
      2009-09-17
    • Related Report
      2009 Annual Research Report
  • [Presentation] A Parallel SAT Solver for Clusters2009

    • Author(s)
      K. Ohmura, K. Ueda
    • Organizer
      12th Int' l Conf. on Theory and Applications of Satisfiability Testing
    • Place of Presentation
      Swansea(Wales)
    • Year and Date
      2009-07-03
    • Related Report
      2011 Final Research Report
  • [Presentation] c-sat : A Parallel SAT Solver for Clusters2009

    • Author(s)
      K.Ohmura, K.Ueda
    • Organizer
      12th Int' l Conf on Theory and Applications of Satisfiability Testing (SAT 2009)
    • Place of Presentation
      Swansea (Wales).
    • Year and Date
      2009-07-03
    • Related Report
      2010 Self-evaluation Report
  • [Presentation] SAT問題への変換を用いたフィードバックを含むパスウェイの解析2009

    • Author(s)
      宋剛秀, 井上克巳
    • Organizer
      第23回人工知能学会全国大会
    • Place of Presentation
      サンポートホール高松(香川県)
    • Year and Date
      2009-06-18
    • Related Report
      2009 Annual Research Report
  • [Presentation] PrologからJavaへのトランスレータ処理系の設計と実装2009

    • Author(s)
      丹生智也
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
    • Place of Presentation
      高山グリーンホテル
    • Year and Date
      2009-03-10
    • Related Report
      2008 Annual Research Report
  • [Presentation] SAT変換に基づく制約ソルバーSugar2009

    • Author(s)
      番原睦則
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
    • Place of Presentation
      高山グリーンホテル
    • Year and Date
      2009-03-10
    • Related Report
      2008 Annual Research Report
  • [Presentation] 並列分散型SATソルバにおける探索空間の分割手法の提案2009

    • Author(s)
      高見明秀, 鍋島英知, 岩沼宏治
    • Organizer
      電子情報通信学会
    • Place of Presentation
      佐賀大学
    • Year and Date
      2009-03-02
    • Related Report
      2011 Final Research Report
  • [Presentation] 並列分散型SATソルベにおける探索空間の分割手法の提案2009

    • Author(s)
      高見明秀, 鍋島英知, 岩沼宏治
    • Organizer
      電子情報通信学会IEICE-SS-444
    • Place of Presentation
      佐賀大学
    • Year and Date
      2009-03-02
    • Related Report
      2010 Self-evaluation Report
  • [Presentation] 並列分散型SATソルバにおける探索空間の分割手法の提案2009

    • Author(s)
      高見明秀
    • Organizer
      電子情報通信学会技術研究報告IEICE-SS-444, pp. 23-28
    • Place of Presentation
      佐賀大学
    • Year and Date
      2009-03-02
    • Related Report
      2008 Annual Research Report
  • [Presentation] 制約充足問題のSAT変換とグラフ彩色問題への応用2009

    • Author(s)
      丹生智也, 田村直之, 番原睦則
    • Organizer
      日本ソフトウェア科学会第26回大会
    • Place of Presentation
      島根大学(島根県)
    • Related Report
      2009 Annual Research Report
  • [Presentation] 架空名義入札に頑健な再配分メカニズムの提案2009

    • Author(s)
      櫻井祐子, V.Conitzer, 斎藤恭昌, 岩崎敦, 横尾真
    • Organizer
      第23回人工知能学会全国大会
    • Place of Presentation
      サンポートホール高松(香川県)
    • Related Report
      2009 Annual Research Report
  • [Presentation] 架空名義不可能な組合せオークションの割当規則の特性2009

    • Author(s)
      東藤大樹, 岩崎敦, 横尾真, 櫻井祐子
    • Organizer
      第23回人工知能学会全国大会
    • Place of Presentation
      サンポートホール高松(香川県)
    • Related Report
      2009 Annual Research Report
  • [Presentation] 第一価格入札における架空名義操作の影響の解析2009

    • Author(s)
      桂木敦史, 櫻井祐子, 岩崎敦, 横尾真
    • Organizer
      第23回人工知能学会全国大会
    • Place of Presentation
      サンポートホール高松(香川県)
    • Related Report
      2009 Annual Research Report
  • [Presentation] 分散ラグランジュ緩和プロトコルにおける適応的な価格更新2008

    • Author(s)
      平山勝敏
    • Organizer
      合同エージェントワークショップ&シンポジウム2008(JAWS-2008)
    • Place of Presentation
      大津市
    • Year and Date
      2008-10-29
    • Related Report
      2008 Annual Research Report
  • [Presentation] 極小モデル生成とジヨブシヨツプスケジューリング問題の解法2008

    • Author(s)
      越村三幸
    • Organizer
      日本ソフトウェア科学会第25回大会
    • Place of Presentation
      筑波大学東京キャンパス
    • Year and Date
      2008-09-12
    • Related Report
      2008 Annual Research Report
  • [Presentation] モデル生成法を用いた極小モデル生成2008

    • Author(s)
      鹿甲憲秀
    • Organizer
      第7回情報科学技術フォーラム
    • Place of Presentation
      慶應義塾大学湘南藤沢キャンパス
    • Year and Date
      2008-09-03
    • Related Report
      2008 Annual Research Report
  • [Presentation] 匿名操作不可能シャプレィ値 : 開環境での協力ゲームにおける効率的に表IB/求解可能な解概念2008

    • Author(s)
      大田直樹
    • Organizer
      第22回人工知能学会全国大会
    • Place of Presentation
      ときわ市民ホール(旭川市)
    • Related Report
      2008 Annual Research Report
  • [Presentation] 自助メカニズムデザインによる架空名義入札に頑健な組合せオークションメカニズムの構築2008

    • Author(s)
      大森由総
    • Organizer
      第22回人工知能学会全国大会
    • Place of Presentation
      ときわ市民ホール(旭川市)
    • Related Report
      2008 Annual Research Report
  • [Presentation] 予算制約を考慮した架空名義入札に頑健なオー'クションプロトコルの提案2008

    • Author(s)
      櫻井祐子
    • Organizer
      第22回人工知能学会全国大会
    • Place of Presentation
      ときわ市民ホール(旭川市)
    • Related Report
      2008 Annual Research Report
  • [Presentation] 人工知能学会全国大会プログラム自助作成ツールの開発2008

    • Author(s)
      西村直史
    • Organizer
      第22回人工知能学会全国大会
    • Place of Presentation
      ときわ市民ホール(旭川市)
    • Related Report
      2008 Annual Research Report
  • [Presentation] ネットワーク分散部分観測可能マルコフ決定過程におけるプラン構築への通信の導入2008

    • Author(s)
      岩成祐樹
    • Organizer
      第22回人工知能学会全国大会
    • Place of Presentation
      ときわ市民ホール(旭川市)
    • Related Report
      2008 Annual Research Report
  • [Presentation] 自動メカニズムデザインによる架空名義入札に頑健な組合せオークションメカニズムの構築2008

    • Author(s)
      大森由総
    • Organizer
      第7回情報科学技術フォーラム(FIT・2008)
    • Place of Presentation
      慶應義塾大学湘南藤沢キャンパス
    • Related Report
      2008 Annual Research Report
  • [Presentation] 制約充足/最適化テクニックを用いた会議プログラム自動生成ツールの開発2008

    • Author(s)
      西村直史
    • Organizer
      合同エージェントワークショップ&シンポジウム2008 (JAWS-2008)
    • Place of Presentation
      大津プリンスホテル
    • Related Report
      2008 Annual Research Report
  • [Presentation] 組合せオークションのための架空名義操作不可能なメカニズムの特性2008

    • Author(s)
      東藤大樹
    • Organizer
      合同エージェントワークショップ&シンポジウム2008 (JAWS-2008)
    • Place of Presentation
      大津プリンスホテル
    • Related Report
      2008 Annual Research Report
  • [Presentation] クラーク税を用いた戦略的操作不可能な費用分担メカニズムの提案2008

    • Author(s)
      佐藤恭史
    • Organizer
      合同エージェントワークショップ&シンポジウム2008 (JAWS-2008)
    • Place of Presentation
      大津プリンスホテル
    • Related Report
      2008 Annual Research Report
  • [Presentation] Take-It-or-Leave-Itに基づく再配分オークションメカニズムの提案2008

    • Author(s)
      斎藤恭昌
    • Organizer
      合同エージェントワークショップ&シンポジウム2008 (JAWS-2008)
    • Place of Presentation
      大津プリンスホテル
    • Related Report
      2008 Annual Research Report
  • [Presentation] セキュアキーワード広告オークションプロトコルの提案.2008

    • Author(s)
      櫻井祐子
    • Organizer
      合同エージェントワークショップ&シンポジウム2008(JAWS-2008)
    • Place of Presentation
      大津プリンスホテル
    • Related Report
      2008 Annual Research Report
  • [Presentation] 自動メカニズムデザインによる架空名義入札に頑健な組合せオークションメカニズムの構築2008

    • Author(s)
      大森由総
    • Organizer
      合同エージェントワークショップ&シンポジウム2008 (JAWS-2008)
    • Place of Presentation
      大津プリンスホテル
    • Related Report
      2008 Annual Research Report
  • [Remarks]

    • URL

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

    • Related Report
      2011 Final Research Report
  • [Remarks]

    • URL

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

    • Related Report
      2011 Annual Research Report
  • [Remarks] ホームページ

    • URL

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

    • Related Report
      2010 Self-evaluation Report
  • [Remarks]

    • URL

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

    • Related Report
      2010 Annual Research Report
  • [Remarks]

    • URL

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

    • Related Report
      2009 Annual Research Report
  • [Remarks]

    • URL

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

    • Related Report
      2008 Annual Research Report

URL: 

Published: 2008-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi