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

NABESHIMA Hidetomo  鍋島 英知

ORCIDConnect your ORCID iD *help
Researcher Number 10334848
Other IDs
External Links
Affiliation (Current) 2025: 山梨大学, 大学院総合研究部, 准教授
Affiliation (based on the past Project Information) *help 2016 – 2024: 山梨大学, 大学院総合研究部, 准教授
2014 – 2016: 山梨大学, 総合研究部, 准教授
2011 – 2014: 山梨大学, 医学工学総合研究部, 准教授
2008 – 2011: University of Yamanashi, 大学院・医学工学総合研究部, 准教授
2008 – 2009: 山梨大学, 医学工学総合研究部, 准教授 … More
2007: University of Yamanashi, Dept. Computer Sci. and Media Eng., Assistant Professor
2003 – 2006: 山梨大学, 大学院・医学工学総合研究部, 助手
2001 – 2003: Yamanashi University, Engineering, Assistant Professor, 工学部, 助手 Less
Review Section/Research Field
Principal Investigator
Intelligent informatics / Basic Section 61030:Intelligent informatics-related / Intelligent informatics / Intelligent informatics
Except Principal Investigator
Intelligent informatics / Intelligent informatics / Software / Transformative Research Areas, Section (IV) / Software
Keywords
Principal Investigator
充足可能性判定(SAT)問題 / SATソルバー / 充足可能性判定問題 / 充足可能性問題 / プランニング / 並列SATソルバー / 決定的SATソルバー / 決定的並列SATソルバー / 充足可能性判定(SAT)問題 / 充足不能証明 … More / 決定的挙動 / 並列処理 / 決定的並列SAT解法 / アルゴリズム / 動的対称性除去 / ヒューリスティクス / 圧縮節 / 圧縮 / 動的簡単化 / 分割統治 / 推論システム / 命題論理 / 一階述語論理 / 仮説発見 / 結論発見 / 分散協調 / スケジューリング / 補題の再利用 / 補題 … More
Except Principal Investigator
アブダクション / 結論発見 / abduction / induction / knowledge discovery / SOL resolution / consequence finding / 帰納推論 / SOL導出 / 結論発見手続き / 命題論理 / 充足可能性判定問題 / 制約プログラミング / 仮説発見 / 推論 / 人工知能 / 説明可能性 / 非同期ストリーム索引 / 準最適解集合 / ネットワーク信頼性 / 並列SAT / MSO / 革新的アルゴリズム基盤 / 厳密被覆 / 分子設計 / Answer Set Programming / 圧縮索引 / 部分グラフ数え上げ / 並列型ソルバ / アルゴリズムの社会還元 / アルゴリズム基盤 / SATソルバー / 情報システム / nonmonotonic reasoning / inductive logic programming / hypothesis finding / CF 帰納法 / アルゴリズム / CF帰納法 / SOLAR / tableaux method / automated deduction / consequence finding procedure / 結論発見問題 / タブロー法 / 演繹推論 / 知識発見 / Abduction / Distributed problem solving / Speculative computation / Incomplete communication / Multi-agent systems / 分散強調問題解決 / マルチエージェント / 分散協調問題解決 / 先行投機的処理 / 不完全通信 / マルチエージェントシステム / planning graph / action language / SAT planning / reasoning about change / satisfiability (SAT) / planning / 充足可能性判定 / プランニンググラフ / SATプランニング / SATソルバ / アクション言語 / プラニンググラフ / SATプラニング / 充足可能性問題 / 状態変化 / プランニング / 帰納論理プログラミング / 確率推論 / システム生物学 / 計算機システム / 並列処理・分散処理 / 制約最適化問題 / SAT Less
  • Research Projects

    (17 results)
  • Research Products

    (208 results)
  • Co-Researchers

    (28 People)
  •  並列充足可能性判定器の実用的基盤の実現Principal Investigator

    • Principal Investigator
      鍋島 英知
    • Project Period (FY)
      2023 – 2025
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 61030:Intelligent informatics-related
    • Research Institution
      University of Yamanashi
  •  A study on deterministic parallel SAT solversPrincipal Investigator

    • Principal Investigator
      Nabeshima Hidetomo
    • Project Period (FY)
      2020 – 2022
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 61030:Intelligent informatics-related
    • Research Institution
      University of Yamanashi
  •  社会を志向した革新的アルゴリズムの実装

    • Principal Investigator
      安田 宜仁
    • Project Period (FY)
      2020 – 2024
    • Research Category
      Grant-in-Aid for Transformative Research Areas (A)
    • Review Section
      Transformative Research Areas, Section (IV)
    • Research Institution
      NTT Communication Science Laboratories
  •  A fast Boolean satisfiability problem solver by shortening the proofPrincipal Investigator

    • Principal Investigator
      NABESHIMA Hidetomo
    • Project Period (FY)
      2017 – 2019
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Intelligent informatics
    • Research Institution
      University of Yamanashi
  •  Research and Development of a New Constraint Programming System based on SAT

    • Principal Investigator
      Tamura Naoyuki
    • Project Period (FY)
      2016 – 2018
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Kobe University
  •  A Study of Accelerating Boolean Satisfiability SolversPrincipal Investigator

    • Principal Investigator
      NABESHIMA Hidetomo
    • Project Period (FY)
      2014 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Intelligent informatics
    • Research Institution
      University of Yamanashi
  •  Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques

    • Principal Investigator
      TAMURA Naoyuki
    • Project Period (FY)
      2012 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Kobe University
  •  A study on a practical consequence finding systemPrincipal Investigator

    • Principal Investigator
      NABESHIMA Hidetomo
    • Project Period (FY)
      2011 – 2013
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Intelligent informatics
    • Research Institution
      University of Yamanashi
  •  Study of SAT-based constraint optimization problem solving and its parallel distributed processing

    • Principal Investigator
      TAMURA Naoyuki
    • Project Period (FY)
      2008 – 2011
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Software
    • Research Institution
      Kobe University
  •  Inference-based Hypothesis-finding and its Application to Systems Biology

    • Principal Investigator
      INOUE Katsumi
    • Project Period (FY)
      2008 – 2011
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Intelligent informatics
    • Research Institution
      National Institute of Informatics
  •  A Study of Advanced and Effective SAT Planning and SchedulingPrincipal Investigator

    • Principal Investigator
      NABESHIMA Hidetomo
    • Project Period (FY)
      2007 – 2009
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Intelligent informatics
    • Research Institution
      University of Yamanashi
  •  Research on Advanced Systems of Efficient Hypothesis Finding

    • Principal Investigator
      INOUE Katsumi
    • Project Period (FY)
      2005 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Intelligent informatics
    • Research Institution
      National Institute of Informatics
  •  補題の活用による高速SATプランニングシステムの構築Principal Investigator

    • Principal Investigator
      鍋島 英知
    • Project Period (FY)
      2004 – 2005
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Intelligent informatics
    • Research Institution
      University of Yamanashi
  •  SATアプローチに基づく高速プランニングシステムの構築Principal Investigator

    • Principal Investigator
      鍋島 英知
    • Project Period (FY)
      2002 – 2003
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Intelligent informatics
    • Research Institution
      University of Yamanashi
  •  Research on Knowledge Discovery based on Consequence Finding

    • Principal Investigator
      INOUE Katsumi
    • Project Period (FY)
      2002 – 2004
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Intelligent informatics
    • Research Institution
      National Institute of Informatics
      Kobe University
  •  Construction of multi-agent systems with speculative computation

    • Principal Investigator
      SATOH Ken
    • Project Period (FY)
      2001 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Intelligent informatics
    • Research Institution
      National Institute of Informatics
  •  Research on an Integrated System for Fast SAT Planning

    • Principal Investigator
      INOUE Katsumi
    • Project Period (FY)
      2000 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Intelligent informatics
    • Research Institution
      Kobe University

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

All Journal Article Presentation

  • [Journal Article] International Competition on Graph Counting Algorithms 20232024

    • Author(s)
      INOUE Takeru、YASUDA Norihito、NABESHIMA Hidetomo、NISHINO Masaaki、DENZUMI Shuhei、MINATO Shin-ichi
    • Journal Title

      IEICE Trans. Fundamentals

      Volume: E107.A Issue: 9 Pages: 1441-1451

    • DOI

      10.1587/transfun.2023DMP0006

    • ISSN
      0916-8508, 1745-1337
    • Year and Date
      2024-09-01
    • Language
      English
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-23K11214, KAKENHI-PLANNED-20H05963
  • [Journal Article] Hamiltonian Cycle Reconfiguration with Answer Set Programming2023

    • Author(s)
      Hirate Takahiro、Banbara Mutsunori、Inoue Katsumi、Lu Xiao-Nan、Nabeshima Hidetomo、Schaub Torsten、Soh Takehide、Tamura Naoyuki
    • Journal Title

      Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023)

      Volume: LNAI 14281 Pages: 262-277

    • DOI

      10.1007/978-3-031-43619-2_19

    • ISBN
      9783031436185, 9783031436192
    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-23K11047, KAKENHI-PROJECT-23K11214, KAKENHI-PROJECT-21K11828, KAKENHI-PLANNED-20H05794, KAKENHI-PLANNED-20H05963
  • [Journal Article] DPS: A Framework for Deterministic Parallel SAT Solvers2022

    • Author(s)
      H. Nabeshima, T. Fukiage, Y. Obitsu, X. Lu, K. Inoue
    • Journal Title

      The 12th International Workshop on Pragmatics of SAT

      Pages: 1-15

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-20K11934
  • [Journal Article] Reproducible Efficient Parallel SAT Solving2020

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

      Proceedings of the 23th International Conference Theory and Applications of Satisfiability Testing (SAT 2020), to appear

      Volume: 未確定

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K00300
  • [Journal Article] Reproducible Efficient Parallel SAT Solving2020

    • Author(s)
      Nabeshima Hidetomo、Inoue Katsumi
    • Journal Title

      Theory and Applications of Satisfiability Testing - SAT 2020, LNCS

      Volume: 12178 Pages: 123-138

    • DOI

      10.1007/978-3-030-51825-7_10

    • ISBN
      9783030518240, 9783030518257
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20K11934
  • [Journal Article] Laboratory Assignment Problems with Tie on Students' Preferences2019

    • Author(s)
      藤井 樹,伊藤 靖展,鍋島 英知
    • Journal Title

      Transactions of the Japanese Society for Artificial Intelligence

      Volume: 34 Issue: 3 Pages: A-I91_1-16

    • DOI

      10.1527/tjsai.A-I91

    • NAID

      130007641569

    • ISSN
      1346-0714, 1346-8030
    • Year and Date
      2019-05-01
    • Language
      Japanese
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17K00300, KAKENHI-PROJECT-16H02803
  • [Journal Article] SATソルバーの最新動向と利用技術2018

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

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

      Volume: 35(4) Pages: 72-92

    • NAID

      130007552525

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Journal Article] Recent Advances in SAT Solvers and their Utilization Technologies.2018

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

      Computer Software

      Volume: 35 Issue: 4 Pages: 72-92

    • DOI

      10.11309/jssst.35.72

    • NAID

      130007552525

    • ISSN
      0289-6540
    • Year and Date
      2018-10-25
    • Language
      Japanese
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K00300, KAKENHI-PROJECT-18K11242
  • [Journal Article] Coverage-Based Clause Reduction Heuristics for CDCL Solvers2017

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

      Proceedings of the 20th International Conference Theory and Applications of Satisfiability Testing (SAT 2017)

      Volume: - Pages: 136-144

    • DOI

      10.1007/978-3-319-66263-3_9

    • ISBN
      9783319662626, 9783319662633
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K00300, KAKENHI-PROJECT-16H02803
  • [Journal Article] SATソルバーの最近の進展2016

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

      情報処理

      Volume: 57(8)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Journal Article] SAT技術の進化2016

    • Author(s)
      番原 睦則, 鍋島 英知
    • Journal Title

      情報処理

      Volume: 57(8)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Journal Article] An Incremental SAT Solving Library and its Applications2016

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

      Computer Software

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

    • DOI

      10.11309/jssst.33.4_16

    • NAID

      130005290581

    • ISSN
      0289-6540
    • Language
      Japanese
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-26330248, KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-16H02803
  • [Journal Article] Qualitative dynamics semantics for SBGN process description2016

    • Author(s)
      Adrien Rougny, Yoshitaka Yamamoto, Hidetomo Nabeshima, Gauvain Bourgne, Anne Poupon, Katsumi Inoue, Christine Froidevaux
    • Journal Title

      Late Breaking Papers of ILP2015, CEUR-WS

      Volume: 1636 Pages: 95-100

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Journal Article] GlueMiniSat 2.2.10-812016

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

      Proceedings of SAT Competition 2016: Solver and Benchmark Descriptions (Bordeaux, France, July 5-8, 2016), Department of Computer Science Series of Publications

      Volume: B-2016-1 Pages: 43-43

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Journal Article] Construction of an ROBDD for a PB-constraint in band form and related techniques for PB-solvers2015

    • Author(s)
      Masahiko SAKAI, Hidetomo NABESHIMA
    • Journal Title

      IEICE TRANSACTIONS on Information and Systems

      Volume: E98-D

    • NAID

      130005072390

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26330248
  • [Journal Article] Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers2015

    • Author(s)
      Masahiko SAKAI and Hidetomo NABESHIMA
    • Journal Title

      IEICE Trans. Inf. & Syst.

      Volume: E98.D Issue: 6 Pages: 1121-1127

    • DOI

      10.1587/transinf.2014FOP0007

    • NAID

      130005072390

    • ISSN
      0916-8532, 1745-1361
    • Language
      English
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26330248
  • [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

    • Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Journal Article] Completing causal networks by meta-level abduction2013

    • Author(s)
      Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima
    • Journal Title

      Machine Learning

      Volume: Volume 91, Issue 2 Issue: 2 Pages: 239-277

    • DOI

      10.1007/s10994-013-5341-z

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Journal Article] On-The-Fly Lazy Clause Simplification based on Binary Resolvents2013

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

      Proc. of IEEE 25^<th> International Conference on Tools with Artificial Intelligence (ICTAI 2013)

      Pages: 987-995

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Journal Article] Completing causal networks by meta-level abduction2013

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

      Machine Learning

      Volume: Vol.91, Issue 2 Pages: 239-277

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

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

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

      Volume: 29(4) Pages: 146-160

    • NAID

      130004549290

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

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

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] GlueMiniSat 2.2.5:単位伝播を促す学習節の積極的獲得戦略に基づく高速SAT ソルバー2012

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

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

      Volume: 未定

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Journal Article] GlueMiniSat 2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012

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

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

      Volume: (掲載確定)

    • NAID

      130004549290

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Journal Article] GlueMiniSat 2.2.5: A Fast SAT Solver with An Aggressive Acquiring Strategy of Glue Clauses2012

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

      Computer Software

      Volume: 29 Issue: 4 Pages: 4_146-4_160

    • DOI

      10.11309/jssst.29.4_146

    • NAID

      130004549290

    • ISSN
      0289-6540
    • Language
      Japanese
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22500127, KAKENHI-PROJECT-23700164
  • [Journal Article] GlueMiniSat2.2.5 : 単位伝搬を促す学習節の積極的獲得戦略に基づく高速SAT ソルバー2012

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

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

      Volume: Vol.29, No.4 Pages: 146-160

    • NAID

      130004549290

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

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

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

      Volume: (掲載決定)

    • NAID

      130004549290

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-Level Abduction2011

    • Author(s)
      Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima
    • Journal Title

      Inductive Logic Programming : Revised Papers from the 20th International Conference (ILP'10), Lecture Notes in Artificial Intelligence

      Volume: 6489 Pages: 114-129

    • DOI

      10.1007/978-3-642-21295-6_15

    • ISBN
      9783642212949, 9783642212956
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-23700164
  • [Journal Article] 一階論理上の等号推論 : 理論と実際2011

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

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

      Volume: Vol.28,No.4 Pages: 282-305

    • NAID

      130004549242

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Journal Article] Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction2011

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

      Inductive Logic Programming : Revised Papers from the 20th International Conference (ILP'10)

      Volume: Vol.6489 Pages: 114-129

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] 一階論理上の等号推論:理論と実際2011

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

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

      Volume: Vol. 28, No.4 Pages: 282-305

    • NAID

      130004549242

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Journal Article] Discretized Kinetic Models for Abductive Reasoning in Systems Biology2011

    • Author(s)
      Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato
    • Journal Title

      Biomedical Engineering Systems and Technologies : Revised Selected Papers from the 4th International Joint Conference (BIOSTEC 2011), Communications in Computer and Information Science

      Volume: (掲載確定)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Journal Article] 一階論理上の等号推論:理論と実際2011

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

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

      Volume: 28(4) Pages: 282-305

    • NAID

      130004549242

    • URL

      http://JST.JSTAGE/jssst/28.4_282

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

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010

    • Author(s)
      T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima
    • Journal Title

      Fundamenta Informaticae

      Volume: 102・3-4 Pages: 467-487

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] 高速SATソルバーの原理2010

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

      人工知能学会誌 Vol.25,No.1

      Pages: 68-76

    • Data Source
      KAKENHI-PROJECT-19700135
  • [Journal Article] SATによるプランニングとスケジューリング2010

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

      人工知能学会誌 25・1

      Pages: 114-121

    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] SATによるプランニングとスケジューリング2010

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

      人工知能学会誌 Vol.25,No.1

      Pages: 114-121

    • Data Source
      KAKENHI-PROJECT-19700135
  • [Journal Article] SOLAR : An Automated Deduction System for Consequence Finding.2010

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

      AI Communications 23(2-3)

      Pages: 183-203

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Journal Article] Oliver Ray SOLAR : An Automated Deduction System for Consequence Finding2010

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

      AI Communications

      Volume: 23(2-3) Issue: 2-3 Pages: 183-203

    • DOI

      10.3233/aic-2010-0465

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Journal Article] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010

    • Author(s)
      T. Soh, K. Inoue, N. Tamura, M. Banbara, H. Nabeshima
    • Journal Title

      Fundamenta Informaticae

      Volume: Vol.102 Pages: 467-487

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] 高速SATソルバの原理2010

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

      人工知能学会誌 25, 1

      Pages: 68-76

    • Data Source
      KAKENHI-PROJECT-19700135
  • [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

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] 高速SATソルバーの原理2010

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

      人工知能学会誌 25・1

      Pages: 68-76

    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] SOLAR : An Automated Deduction System for Consequence Finding2010

    • Author(s)
      Hidetomo Nabeshima
    • Journal Title

      AI Communications 23, 2-3

      Pages: 183-203

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Journal Article] SATによるプランニングとスケジューリング2010

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

      人工知能学会誌 25, 1

      Pages: 114-121

    • Data Source
      KAKENHI-PROJECT-19700135
  • [Journal Article] SOLAR : An Automated Deduction System for Consequence Finding2010

    • Author(s)
      Hidetomo Nabeshima
    • Journal Title

      AI Communications 23, 2-3

      Pages: 183-203

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

    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] SMT:個別理論を取り扱うSAT技術2010

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

      人工知能学会誌 25・1

      Pages: 86-95

    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] SMT:個別理論を取り扱うSAT技術2010

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

      人工知能学会誌 Vol.25,No.1

      Pages: 86-95

    • Data Source
      KAKENHI-PROJECT-19700135
  • [Journal Article] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010

    • Author(s)
      T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima
    • Journal Title

      Fundamenta Informaticae Vol.102

      Pages: 467-487

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] SOLAR: An Automated Deduction System for Consequence Finding2010

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

      AI Communications Vol.23,No.2-3

      Pages: 183-203

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700135
  • [Journal Article] Minimal Model Generation with Respect to an Atom Set2009

    • Author(s)
      Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa
    • Journal Title

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

      Pages: 49-59

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700135
  • [Journal Article] Evaluating Abductive Hypotheses using an EM Algorithm on BDDs.2009

    • Author(s)
      Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima
    • Journal Title

      Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09)

      Pages: 810-815

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

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Journal Article] Reconsideration of Circumscriptive Induction with Pointwise Circumscription2009

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

      Journal of Applied Logic

      Volume: 7(3) Issue: 3 Pages: 307-317

    • DOI

      10.1016/j.jal.2008.10.005

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Journal Article] A Complete Pruning Methods and a Practical Search Strategy for SOL2008

    • Author(s)
      Hidetomo Nabeshima
    • Journal Title

      7th International Workshop on the Implementation of Logics (IWIL 2008) 418

      Pages: 113-122

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700135
  • [Journal Article] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. Proceedings of the 15th International RCRA workshop (RCRA 2008)2008

    • Author(s)
      Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
    • Journal Title

      Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion Vol.451

      Pages: 25-39

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700135
  • [Journal Article] A Complete Pruning Methods and a Practical Search Strategy for SOL, Proceedings of the LPAR 2008 Workshops on Knowledge Exchange2008

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

      Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics (IWIL 2008) Vol.418

      Pages: 113-122

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19700135
  • [Journal Article] 緩和法に基づく系列データからの頻出部分系列の高速マイニング2006

    • Author(s)
      丸山育嗣, 岩沼宏治, 鍋島英和
    • Journal Title

      第5回情報科学技術レターズ LF-006

      Pages: 113-116

    • Data Source
      KAKENHI-PROJECT-17300051
  • [Journal Article] Consequence Finding and Computing Answers with Defaults2006

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

      Journal of Intelligent Information Systems 26

      Pages: 41-58

    • Data Source
      KAKENHI-PROJECT-17300051
  • [Journal Article] Lemma Reusing for SAT based Planning and Scheduling2006

    • Author(s)
      Hidetomo Nabeshima
    • Journal Title

      Proceedings of the International Conference on Automated Planning and Scheduling 2006 (ICAPS' 06)

      Pages: 103-112

    • Data Source
      KAKENHI-PROJECT-17300051
  • [Journal Article] Lemma Reusing for SAT based Planning and Scheduling2006

    • Author(s)
      Hidetomo Nabeshima
    • Journal Title

      Proceedings of the International Conference on Planning and Scheduling (to appear)(印刷中)

    • Data Source
      KAKENHI-PROJECT-16700136
  • [Journal Article] Inducing Causal Laws by Regular Inference2005

    • Author(s)
      Katsumi Inoue, Hideyuki Bando, Hidetomo Nabeshima
    • Journal Title

      Inductive Logic Programming (ILP 2005), Lecture Notes in Artificial Intelligence 3625

      Pages: 154-171

    • Data Source
      KAKENHI-PROJECT-17300051
  • [Journal Article] Upside-down Transformation in SOL/Connection Tableaux and its Application2005

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

      Theoretical Aspects of Computing (ICTAC 2005), Lecture Notes in Computer Science 3722

      Pages: 166-179

    • Data Source
      KAKENHI-PROJECT-17300051
  • [Journal Article] EFFECTIVE SAT PLANNING BY LEMMA-REUSING2005

    • Author(s)
      Hidetomo Nabeshima
    • Journal Title

      Proceedings of Artificial Intelligence and Applications 2005

      Pages: 1-5

    • NAID

      110003176893

    • Data Source
      KAKENHI-PROJECT-16700136
  • [Journal Article] SOLAR: A Consequence Finding System for Advanced Reasoning2003

    • Author(s)
      Hidetomo Nabeshima
    • Journal Title

      Lecture Notes in Artificial Intelligence Vol.2796

      Pages: 257-263

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-14380164
  • [Journal Article] SOLAR : A Consequence Finding System for Advanced Reasoning2003

    • Author(s)
      Hidetomo Nabeshima
    • Journal Title

      Lecture Notes in Artificial Intelligence Vol.2796

      Pages: 257-263

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14380164
  • [Journal Article] Effective SAT Planning by Speculative Computation2002

    • Author(s)
      Hidetomo Nabeshima
    • Journal Title

      Lecture Notes in Artificial Intelligence Vol.2557

      Pages: 726-728

    • NAID

      110003176877

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14380164
  • [Journal Article] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem

    • Author(s)
      T.Soh, K.Inoue, N.Tamura, M.Banbara, H.Nabeshima
    • Journal Title

      Jouranal of Algorithms in Cognition, Informatics and Logic (掲載確定)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Presentation] heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装2024

    • Author(s)
      杉森唯瑠未, 宋剛秀, 田村直之, 井上克巳, 鍋島英知, 番原睦則
    • Organizer
      第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
    • Data Source
      KAKENHI-PLANNED-20H05963
  • [Presentation] heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装2024

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

    • Author(s)
      平手貴大,番原睦則,井上克巳,盧暁南,鍋島英知,宋剛秀,田村直之
    • Organizer
      第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
    • Data Source
      KAKENHI-PLANNED-20H05963
  • [Presentation] SAT技術を用いた複数画像からなる視覚暗号の構成2023

    • Author(s)
      田光 宏章, 盧 暁南, 鍋島 英知
    • Organizer
      電子情報通信学会 情報理論研究会
    • Data Source
      KAKENHI-PROJECT-23K11214
  • [Presentation] 解集合プログラミングを用いた看護師勤務表の自動生成と附属病院における評価2023

    • Author(s)
      菅原 孝太, 鍋島 英知
    • Organizer
      スケジューリング・シンポジウム2023
    • Data Source
      KAKENHI-PLANNED-20H05963
  • [Presentation] 解集合プログラミングを用いた看護師勤務表の自動生成と附属病院における評価2023

    • Author(s)
      菅原 孝太, 鍋島 英知
    • Organizer
      スケジューリング・シンポジウム2023
    • Data Source
      KAKENHI-PROJECT-23K11214
  • [Presentation] DPS-Kissat2022

    • Author(s)
      Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu and Katsumi Inoue
    • Organizer
      SAT Competition 2022
    • Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-20H05963
  • [Presentation] DPS: A Framework for Deterministic Parallel SAT Solvers2022

    • Author(s)
      Hidetomo Nabeshima,Tsubasa Fukiage,Yuto Obitsu,Xiao-Nan Lu,Katsumi Inoue
    • Organizer
      13th Pragmatics of SAT international workshop
    • Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-20H05963
  • [Presentation] 決定的並列SATソルバー構築のための汎用フレームワークの検討2022

    • Author(s)
      吹上 翼, 帯津 勇斗, 鍋島 英知, 盧 暁南
    • Organizer
      第36回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-20K11934
  • [Presentation] 決定的並列SATソルバー構築のための汎用フレームワークの検討2022

    • Author(s)
      吹上 翼,帯津 勇斗,鍋島 英知,盧 暁南
    • Organizer
      第36回人工知能学会全国大会
    • Data Source
      KAKENHI-PLANNED-20H05963
  • [Presentation] 圧縮した SAT 問題における高速な単位伝播手法2021

    • Author(s)
      早瀬 悠真, 鍋島 英知, 盧 暁南
    • Organizer
      第35回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-20K11934
  • [Presentation] Towards CEGAR-Based Parallel SAT Solving2021

    • Author(s)
      Takehide Soh, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
    • Organizer
      Pragmatics of SAT
    • Data Source
      KAKENHI-PROJECT-20K11934
  • [Presentation] Towards CEGAR-based Parallel SAT Solving2021

    • Author(s)
      Takehide Soh,Hidetomo Nabeshima,Mutsunori Banbara,Naoyuki Tamura,Katsumi Inoue
    • Organizer
      12th Pragmatics of SAT international workshop
    • Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-20H05963
  • [Presentation] 圧縮した SAT 問題における高速な単位伝播手法2021

    • Author(s)
      早瀬 悠真,鍋島 英知,盧 暁南
    • Organizer
      第35回人工知能学会全国大会
    • Data Source
      KAKENHI-PLANNED-20H05963
  • [Presentation] CEGAR と反例の共有を用いたSAT型CSPソルバーの並列化方法の考察2020

    • Author(s)
      宋 剛秀, 鍋島 英知, 番原 睦則, 田村 直之, 井上 克巳
    • Organizer
      第112回人工知能基本問題研究会
    • Data Source
      KAKENHI-PROJECT-17K00300
  • [Presentation] 大規模な SAT 問題を圧縮したまま解くソルバーの開発2020

    • Author(s)
      早瀬 悠真, 鍋島 英知
    • Organizer
      第34回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-20K11934
  • [Presentation] 大規模な SAT 問題を圧縮したまま解くソルバーの開発2020

    • Author(s)
      早瀬 悠真, 鍋島 英知
    • Organizer
      第34回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-17K00300
  • [Presentation] SATソルバーの動的対称性除去における候補削減手法2019

    • Author(s)
      市澤 拓美,原田 翔規,鍋島 英知
    • Organizer
      人工知能学会 第109回人工知能基本問題研究会
    • Data Source
      KAKENHI-PROJECT-17K00300
  • [Presentation] SATソルバーにおける学習節簡単化手法に基づくメタ探索戦略の提案2019

    • Author(s)
      中尾 陸, 鍋島 英知
    • Organizer
      人工知能学会 第109回人工知能基本問題研究会
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] SATソルバーの動的対称性除去における候補削減手法2019

    • Author(s)
      市澤 拓美, 原田 翔規, 鍋島 英知
    • Organizer
      人工知能学会 第109回人工知能基本問題研究会
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] ポートフォリオ型並列SATソルバーにおける適応型探索戦略2019

    • Author(s)
      神原 和裕, 鍋島 英知
    • Organizer
      人工知能学会 第109回人工知能基本問題研究会
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] ポートフォリオ型並列 SAT ソルバーにおける適応型探索戦略2019

    • Author(s)
      神原 和裕,鍋島 英知
    • Organizer
      人工知能学会 第109回人工知能基本問題研究会
    • Data Source
      KAKENHI-PROJECT-17K00300
  • [Presentation] SAT ソルバーにおける学習節簡単化手法に基づくメタ探索戦略の提案2019

    • Author(s)
      中尾 陸,鍋島 英知
    • Organizer
      人工知能学会 第109回人工知能基本問題研究会
    • Data Source
      KAKENHI-PROJECT-17K00300
  • [Presentation] リスタート戦略改善に向けた頻出決定変数パターンのマイニング2018

    • Author(s)
      福田 晴喜,鍋島 英知
    • Organizer
      人工知能学会 第32回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-17K00300
  • [Presentation] 決定的ポートフォリオ型並列SATソルバーの待ち時間削減による高速化手法2018

    • Author(s)
      後藤 優也,鍋島 英知
    • Organizer
      人工知能学会 第106回人工知能基本問題研究会
    • Data Source
      KAKENHI-PROJECT-17K00300
  • [Presentation] リスタート戦略改善に向けた頻出決定変数パターンのマイニング2018

    • Author(s)
      福田 晴喜, 鍋島 英知
    • Organizer
      人工知能学会 第32回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] 決定的ポートフォリオ型並列SATソルバーの待ち時間削減による高速化手法2018

    • Author(s)
      後藤 優也,鍋島 英知
    • Organizer
      人工知能学会 第106回人工知能基本問題研究会
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] 研究室配属問題のCSP符号化手法の検討2017

    • Author(s)
      藤井 樹,伊藤 靖展,鍋島 英知
    • Organizer
      人工知能学会 第31回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-17K00300
  • [Presentation] ポートフォリオ型SATソルバーのための分類器の構築手法2017

    • Author(s)
      藤江 柊輔,鍋島 英知
    • Organizer
      人工知能学会 第103回人工知能基本問題研究会
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] ポートフォリオ型SATソルバーのための分類器の構築手法2017

    • Author(s)
      藤江 柊輔,鍋島 英知
    • Organizer
      人工知能学会 第103回人工知能基本問題研究会
    • Place of Presentation
      湯布院公民館(大分県)
    • Year and Date
      2017-03-13
    • Data Source
      KAKENHI-PROJECT-26330248
  • [Presentation] 同順位を含む研究室配属問題のCSPソルバーによる解法の検討2017

    • Author(s)
      藤井 樹,伊藤 靖展,鍋島 英知
    • Organizer
      人工知能学会 第103回人工知能基本問題研究会
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] 同順位を含む研究室配属問題のCSPソルバーによる解法の検討2017

    • Author(s)
      藤井 樹,伊藤 靖展,鍋島 英知
    • Organizer
      人工知能学会 第103回人工知能基本問題研究会
    • Place of Presentation
      湯布院公民館(大分県)
    • Year and Date
      2017-03-13
    • Data Source
      KAKENHI-PROJECT-26330248
  • [Presentation] 研究室配属問題のCSP符号化手法の検討2017

    • Author(s)
      藤井 樹,伊藤 靖展,鍋島 英知
    • Organizer
      人工知能学会 第31回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] SAT型制約ソルバーによるナンバーリンクの解法とその評価 (全国大会優秀賞受賞)2016

    • Author(s)
      迫 龍哉, 川原 征大, 宋 剛秀, 番原 睦則, 田村 直之, 鍋島 英知
    • Organizer
      2016年度 人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] CDCLソルバーにおけるZDDを利用した節圧縮表現の導入2016

    • Author(s)
      後藤 優也,鍋島 英知
    • Organizer
      第30回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] SAT型制約ソルバーによるナンバーリンクの解法とその評価2016

    • Author(s)
      迫 龍哉,川原 征大,宋 剛秀,番原 睦則,田村 直之,鍋島 英知
    • Organizer
      第30回人工知能学会全国大会
    • Place of Presentation
      北九州国際会議場(大分県)
    • Year and Date
      2016-06-06
    • Data Source
      KAKENHI-PROJECT-26330248
  • [Presentation] SAT ソルバーの最近の技術動向2016

    • Author(s)
      鍋島 英知
    • Organizer
      第30回人工知能学会全国大会
    • Place of Presentation
      北九州国際会議場(大分県)
    • Year and Date
      2016-06-06
    • Invited
    • Data Source
      KAKENHI-PROJECT-26330248
  • [Presentation] クラウド上のソフトウェア要素最適配置問題の解法2016

    • Author(s)
      田村 直之, 井上 克巳, 鍋島 英知, 番原 睦則, 宋 剛秀
    • Organizer
      人工知能学会 第100回人工知能基本問題研究会
    • Place of Presentation
      熊本市民会館(熊本県熊本市)
    • Year and Date
      2016-03-27
    • Data Source
      KAKENHI-PROJECT-26330248
  • [Presentation] CDCLソルバーにおけるZDDを利用した節圧縮表現の導入2016

    • Author(s)
      後藤 優也,鍋島 英知
    • Organizer
      第30回人工知能学会全国大会
    • Place of Presentation
      北九州国際会議場(大分県)
    • Year and Date
      2016-06-06
    • Data Source
      KAKENHI-PROJECT-26330248
  • [Presentation] SATソルバーの最近の技術動向2016

    • Author(s)
      鍋島 英知
    • Organizer
      第30回人工知能学会全国大会
    • Invited
    • Data Source
      KAKENHI-PROJECT-16H02803
  • [Presentation] SATソルバーの安定性向上のための粗な初期探索手法の検討と提案2015

    • Author(s)
      三神 直彬,鍋島 英知
    • Organizer
      第29回人工知能学会全国大会
    • Place of Presentation
      公立はこだて未来大学(北海道函館市)
    • Year and Date
      2015-05-30
    • Data Source
      KAKENHI-PROJECT-26330248
  • [Presentation] SAT変換手法における充足不能コアの抽出2015

    • Author(s)
      渡辺大樹, 鍋島英知
    • Organizer
      人工知能学会 第97回人工知能基本問題研究会
    • Place of Presentation
      別府国際コンベンションセンター (大分県)
    • Year and Date
      2015-03-23
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] CDCLソルバーのための軽量動的簡単化手法2015

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

    • Author(s)
      横前菜々子, 鍋島英知
    • Organizer
      人工知能学会 第97回人工知能基本問題研究会
    • Place of Presentation
      別府国際コンベンションセンター (大分県)
    • Year and Date
      2015-03-23
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] SAT型制約ソルバーを用いたナンバーリンクの解法2014

    • Author(s)
      田村直之, 宋剛秀, 番原睦則, 鍋島英知
    • Organizer
      情報処理学会DAシンポジウム2014
    • Place of Presentation
      水明館 (岐阜県)
    • Year and Date
      2014-08-29
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] CDCLソルバーのための軽量動的包摂検査2014

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

    • Author(s)
      三神直彬, 鍋島英知
    • Organizer
      第28回人工知能学会全国大会
    • Place of Presentation
      ひめぎんホール (愛媛県)
    • Year and Date
      2014-05-12
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] Lazy Extension for SOL tableau calculus2013

    • Author(s)
      H. Nabeshima
    • Organizer
      The 5th JFLI-NII-LRI Workshop on Formal Approaches for Modeling and Analyzing Biological Networks
    • Place of Presentation
      LRI(フランス)
    • Year and Date
      2013-10-09
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 最新SATソルバーへの充足不能コア抽出手法の実装2013

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

    • Author(s)
      森 淳,鍋島 英知
    • Organizer
      第27回人工知能学会全国大会
    • Place of Presentation
      富山国際会議場
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 最新 SAT ソルバーへの充足不能コア抽出手法の実装2013

    • Author(s)
      渡辺 大樹,鍋島 英知
    • Organizer
      第27回人工知能学会全国大会
    • Place of Presentation
      富山国際会議場(富山県)
    • Year and Date
      2013-06-05
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 拡張融合法に基づく次世代SAT ソルバーの試作2013

    • Author(s)
      森 淳,鍋島 英知
    • Organizer
      第27回人工知能学会全国大会
    • Place of Presentation
      富山国際会議場(富山県)
    • Year and Date
      2013-06-05
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] On-The-Fly Lazy Clause Simplification based on Binary Resolvents2013

    • Author(s)
      Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
    • Organizer
      IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013)
    • Place of Presentation
      Virginia, USA
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 高速SATソルバーの実装と理論2013

    • Author(s)
      鍋島英知
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      東山温泉御宿東鳳(福島県会津若松市)
    • Invited
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 結論発見システム SOLAR の分割統治法による高速化2012

    • Author(s)
      寄特 勇紀,鍋島 英知
    • Organizer
      第26回人工知能学会全国大会
    • Place of Presentation
      山口県教育会館(山口県)
    • Year and Date
      2012-06-12
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] SATソルバーの探索戦略効率化に向けた合理的尺度の導入検証2012

    • Author(s)
      村松匠, 鍋島英知
    • Organizer
      人工知能学会第85回人工知能基本問題研究会
    • Place of Presentation
      下呂交流会館(岐阜県)
    • Year and Date
      2012-02-03
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Presentation] 高速SAT ソルバーの実装と理論2012

    • Author(s)
      鍋島 英知
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      御宿東鳳(福島県)
    • Year and Date
      2012-03-05
    • Invited
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] SATソルバーの探索戦略効率化に向けた合理的尺度の導入検証2012

    • Author(s)
      村松 匠,鍋島 英知
    • Organizer
      第85回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      下呂交流会館(岐阜県)
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 充足可能性判定器に基づく命題論理の結論発見器の提案2012

    • Author(s)
      鈴木健士郎, 鍋島英知, 岩沼宏治
    • Organizer
      人工知能学会第85回人工知能基本問題研究会
    • Place of Presentation
      下呂交流会館(岐阜県)
    • Year and Date
      2012-02-03
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Presentation] SOLタブロー計算法の分割統治アルゴリズムの検討2012

    • Author(s)
      寄特勇紀, 鍋島英知
    • Organizer
      人工知能学会第85回人工知能基本問題研究会
    • Place of Presentation
      下呂交流会館、下呂市
    • Year and Date
      2012-02-03
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] 充足可能性判定器に基づく命題論理の結論発見器の提案2012

    • Author(s)
      鈴木 健士郎,鍋島 英知,岩沼 宏治
    • Organizer
      第85回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      KKR 下呂しらさぎ(岐阜県)
    • Year and Date
      2012-02-03
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 高速充足可能性判定器を用いた命題論理の結論発見器の実装2012

    • Author(s)
      村松匠,鈴木健士郎,鍋島英知,岩沼宏治
    • Organizer
      第26回人工知能学会全国大会
    • Place of Presentation
      山口県教育会館(山口県山口市)
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 充足可能性判定器に基づく命題論理の結論発見器の提案2012

    • Author(s)
      鈴木 健士郎,鍋島 英知,岩沼 宏治
    • Organizer
      第85回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      下呂交流会館(岐阜県)
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 学習節評価尺度LBDに基づく並列SATソルバーの提案2012

    • Author(s)
      大橋弘幸,鍋島英知
    • Organizer
      第26回人工知能学会全国大会
    • Place of Presentation
      山口県教育会館(山口県)
    • Year and Date
      2012-06-12
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] 結論発見システム SOLAR の分割統治法による高速化2012

    • Author(s)
      寄特勇紀,鍋島英知
    • Organizer
      第26回人工知能学会全国大会
    • Place of Presentation
      山口県教育会館(山口県山口市)
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] SOLタブロー計算法の分割統治アルゴリズムの検討2012

    • Author(s)
      寄特 勇紀,鍋島 英知
    • Organizer
      第85回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      下呂交流会館(岐阜県)
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 高速充足可能性判定器を用いた命題論理の結論発見器の実装2012

    • Author(s)
      村松 匠,鈴木 健士郎,鍋島 英知,岩沼 宏治
    • Organizer
      第26回人工知能学会全国大会
    • Place of Presentation
      山口県教育会館(山口県)
    • Year and Date
      2012-06-12
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] Generating Event-Sequence Test Cass by Constraint Programming and Answer Set Programming2012

    • Author(s)
      Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue, Hidetomo Nabeshima
    • Organizer
      The 2012 CRIL-Nil Collaborative Meeting on Reasoning about Dynamic Constraint Networks
    • Place of Presentation
      Universite d'Artois(France)
    • Year and Date
      2012-11-23
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] 高速充足可能性判定器を用いた命題論理の結論発見器の実装2012

    • Author(s)
      村松匠,鈴木健士郎,鍋島英知,岩沼宏治
    • Organizer
      第26回人工知能学会全国大会
    • Place of Presentation
      山口県教育会館(山口県)
    • Year and Date
      2012-06-12
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] 充足可能性判定器に基づく命題論理の結論発見器の提案2012

    • Author(s)
      鈴木健士郎, 鍋島英知, 岩沼宏治
    • Organizer
      人工知能学会第85回人工知能基本問題研究会
    • Place of Presentation
      下呂交流会館、下呂市
    • Year and Date
      2012-02-03
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] 学習節評価尺度LBD に基づく並列SAT ソルバーの提案2012

    • Author(s)
      大橋 弘幸,鍋島 英知
    • Organizer
      第26回人工知能学会全国大会
    • Place of Presentation
      山口県教育会館(山口県)
    • Year and Date
      2012-06-12
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] SAT ソルバーの探索戦略効率化に向けた合理的尺度の導入検証2012

    • Author(s)
      村松 匠,鍋島 英知
    • Organizer
      第85回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      KKR 下呂しらさぎ(岐阜県)
    • Year and Date
      2012-02-03
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] A Best-First Search Strategy for SOL Tableau Calculus2012

    • Author(s)
      H. Nabeshima
    • Organizer
      The 4th JFLI-LRI-NII Workshop on Consequence Finding and Satisfiability Testing in Distributed Environments and Systems Biology
    • Place of Presentation
      LRI(フランス)
    • Year and Date
      2012-11-19
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 学習節評価尺度LBDに基づく並列SATソルバーの提案2012

    • Author(s)
      大橋弘幸,鍋島英知
    • Organizer
      第26回人工知能学会全国大会
    • Place of Presentation
      山口県教育会館(山口県山口市)
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] SOL タブロー計算法の分割統治アルゴリズムの検討2012

    • Author(s)
      寄特 勇紀,鍋島 英知
    • Organizer
      第85回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      KKR 下呂しらさぎ(岐阜県)
    • Year and Date
      2012-02-03
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] SOLタブロー計算法に基づく命題論理の充足可能性判定器の実現2011

    • Author(s)
      鈴木健士郎, 鍋島英知
    • Organizer
      人工知能学会第25回全国大会
    • Place of Presentation
      アイーナいわて県民情報交流センター、盛岡市
    • Year and Date
      2011-06-03
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2011

    • Author(s)
      鍋島英知, 岩沼宏治, 井上克巳
    • Organizer
      日本ソフトウェア科学会第28回大会(2011年度)
    • Place of Presentation
      沖縄産業支援センター、那覇市
    • Year and Date
      2011-09-29
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] 局所対称性除去によるCDCLソルバーの効率化手法の検討2011

    • Author(s)
      金澤潤二, 鍋島英知
    • Organizer
      日本ソフトウェア科学会第28回大会(2011年度)
    • Place of Presentation
      沖縄産業支援センター、那覇市
    • Year and Date
      2011-09-27
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] ポートフォリオ型戦略の導入による結論発見システムSOLARの効率改善2011

    • Author(s)
      村松匠, 鍋島英知
    • Organizer
      人工知能学会第25回全国大会
    • Place of Presentation
      アイーナいわて県民情報交流センター、盛岡市
    • Year and Date
      2011-06-02
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] GlueMiniSat 2.2.5:単位伝播を促す学習節の積極的獲得戦略に基づく高速SAT ソルバー2011

    • Author(s)
      鍋島 英知,岩沼 宏治,井上 克巳
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業支援センター(沖縄県)
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 一般双対化問題における冗長節生成の抑止法とその評価2011

    • Author(s)
      山本泰生, 鍋島英知, 岩沼宏治
    • Organizer
      人工知能学会第25回全国大会
    • Place of Presentation
      アイーナいわて県民情報交流センター、盛岡市
    • Year and Date
      2011-06-03
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] ポートフォリオ型戦略の導入による結論発見システム SOLAR の効率改善2011

    • Author(s)
      村松 匠, 鍋島 英知
    • Organizer
      第25回人工知能学会全国大会
    • Place of Presentation
      アイーナ いわて県民情報交流センター(岩手県)
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 局所対称性除去によるCDCL ソルバーの効率化手法の検討2011

    • Author(s)
      金澤 潤二,鍋島 英知
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業支援センター(沖縄県)
    • Year and Date
      2011-09-27
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] SOLタブロー計算法に基づく命題論理の充足可能性判定器の実現2011

    • Author(s)
      鈴木健士郎, 鍋島英知
    • Organizer
      2011年度人工知能学会全国大会(JSAI 2011)
    • Place of Presentation
      いわて県民情報交流センター(岩手県)
    • Year and Date
      2011-06-03
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Presentation] Scalability Improvement of SOL Tableau Calculus based on a Divide-and-Conquer Strategy2011

    • Author(s)
      H. Nabeshima, K. Iwanuma, K. Inoue
    • Organizer
      The 3rd LRI-NII Collaborative Meeting on Distributed Reasoning and Problem Decomposition
    • Place of Presentation
      LRI(フランス)
    • Year and Date
      2011-10-31
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 一般双対化問題における 冗長節生成の抑制法とその評価2011

    • Author(s)
      山本 泰生,鍋島 英知,岩沼 宏治
    • Organizer
      第25回人工知能学会全国大会
    • Place of Presentation
      アイーナ いわて県民情報交流センター(岩手県)
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] SOL タブロー計算法に基づく命題論理の充足可能性判定器の実現2011

    • Author(s)
      鈴木 健士郎, 鍋島 英知
    • Organizer
      第25回人工知能学会全国大会
    • Place of Presentation
      アイーナ いわて県民情報交流センター(岩手県)
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 局所対称性除去による CDCL ソルバーの効率改善に向けて2011

    • Author(s)
      金澤 潤二,鍋島 英知
    • Organizer
      第84回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      慶応義塾大学
    • Year and Date
      2011-12-16
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] ポートフォリオ型戦略の導入による結論発見システムSOLAR の効率改善2011

    • Author(s)
      村松 匠, 鍋島 英知
    • Place of Presentation
      いわて県民情報交流センター(岩手県)
    • Year and Date
      2011-06-02
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 局所対称性除去によるCDCLソルバーの効率化手法の検討2011

    • Author(s)
      金澤 潤二,鍋島 英知
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業支援センター(沖縄県)
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] リテラルブロック距離に基づく良い学習節の評価と獲得によるSATソルバの性能改善2011

    • Author(s)
      鍋島英知
    • Organizer
      第81回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      山梨大学(山梨県)
    • Year and Date
      2011-01-31
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology2011

    • Author(s)
      Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato
    • Organizer
      The 2011 International Conference on Bioinformatics Models, Methods and Algorithms(BIOINFORMATICS 2011)
    • Place of Presentation
      Rome, Italy
    • Year and Date
      2011-01-27
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] SOL タブロー計算法に基づく命題論理の充足可能性判定器の実現2011

    • Author(s)
      鈴木 健士郎, 鍋島 英知
    • Organizer
      第25回人工知能学会全国大会
    • Place of Presentation
      いわて県民情報交流センター(岩手県)
    • Year and Date
      2011-06-03
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2011

    • Author(s)
      鍋島英知, 岩沼宏治, 井上克巳
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業支援センター(沖縄県)
    • Year and Date
      2011-09-29
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Presentation] 結論発見手続き SOL タブロー計算法の分割統治法に基づく効率化2011

    • Author(s)
      寄特 勇紀, 鍋島 英知
    • Organizer
      第25回人工知能学会全国大会
    • Place of Presentation
      アイーナ いわて県民情報交流センター(岩手県)
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 単調双対化計算に基づく一般双対化問題の解法2011

    • Author(s)
      山本泰生, 鍋島英知, 岩沼宏治
    • Organizer
      第81回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      山梨大学(山梨県)
    • Year and Date
      2011-01-31
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Presentation] 局所対称性除去によるCDCLソルバーの効率改善に向けて2011

    • Author(s)
      金澤潤二, 鍋島英知
    • Organizer
      人工知能学会第84回人工知能基本問題研究会
    • Place of Presentation
      慶応義塾大学(神奈川県)
    • Year and Date
      2011-12-16
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Presentation] 局所対称性除去による CDCL ソルバーの効率改善に向けて2011

    • Author(s)
      金澤 潤二,鍋島 英知
    • Organizer
      第84回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      慶応義塾大学 日吉キャンパス(神奈川県)
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 結論発見手続きSOLタブロー計算法の分割統治法に基づく効率化2011

    • Author(s)
      寄特勇紀, 鍋島英知
    • Organizer
      人工知能学会第25回全国大会
    • Place of Presentation
      アイーナいわて県民情報交流センター、盛岡市
    • Year and Date
      2011-06-01
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] 局所対称性除去によるCDCLソルバーの効率化手法の検討2011

    • Author(s)
      金澤潤二, 鍋島英知
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業支援センター(沖縄県)
    • Year and Date
      2011-09-27
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Presentation] 結論発見手続きSOL タブロー計算法の分割統治法に基づく効率化2011

    • Author(s)
      寄特 勇紀, 鍋島 英知
    • Organizer
      第25回人工知能学会全国大会
    • Place of Presentation
      いわて県民情報交流センター(岩手県)
    • Year and Date
      2011-06-01
    • Data Source
      KAKENHI-PROJECT-23700164
  • [Presentation] 局所対称性除去によるCDCLソルバーの効率改善に向けて2011

    • Author(s)
      金澤潤二, 鍋島英知
    • Organizer
      人工知能学会第85回人工知能基本問題研究会
    • Place of Presentation
      慶応義塾大学日吉キャンパス、横浜市
    • Year and Date
      2011-12-16
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] リテラルブロック距離に基づく良い学習節の評价と獲得によるSATソルバの性能改善2011

    • Author(s)
      鍋島英知, 岩沼宏治
    • Organizer
      第81回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      山梨大学(山梨県)
    • Year and Date
      2011-01-31
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Presentation] Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology.2011

    • Author(s)
      Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato.
    • Organizer
      The 2011 International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2011)
    • Place of Presentation
      Rome, Italy
    • Year and Date
      2011-01-07
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] 一般双対化問題における冗長節生成の抑止法とその評価2011

    • Author(s)
      山本泰生, 鍋島英知, 岩沼宏治
    • Organizer
      2011年度人工知能学会全国大会(JSAI 2011)
    • Place of Presentation
      いわて県民情報交流センター(岩手県)
    • Year and Date
      2011-06-03
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Presentation] Hypothesizing about Networks by Meta-level Abduction.2010

    • Author(s)
      Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima.
    • Organizer
      The 20th International Conference on Inductive Logic Programming (ILP 2010)
    • Place of Presentation
      Firenze, Italy
    • Year and Date
      2010-06-29
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] 結論発見手続きSOLタブロー法のための多重探索戦略の提案2010

    • Author(s)
      鈴木健士郎, 鍋島英知, 岩沼宏治
    • Organizer
      第80回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      東京工業大学(東京都)
    • Year and Date
      2010-11-17
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Presentation] Hypothesizing about Networks by Meta-level Abduction2010

    • Author(s)
      Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima
    • Organizer
      The 20th International Conference on Inductive Logic Programming(ILP 2010)
    • Place of Presentation
      Firenze, Italy
    • Year and Date
      2010-06-29
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] SAT変換による未解決ジョブショップ・スケジューリング問題への挑戦2009

    • Author(s)
      越村三幸, 鍋島英知, 藤田博, 長谷川隆三
    • Organizer
      スケジューリング・シンポジウム2009講演論文集
    • Place of Presentation
      岡山大学
    • Year and Date
      2009-09-17
    • Data Source
      KAKENHI-PROJECT-19700135
  • [Presentation] 並列分散型SATソルベにおける探索空間の分割手法の提案2009

    • Author(s)
      高見明秀, 鍋島英知, 岩沼宏治
    • Organizer
      電子情報通信学会IEICE-SS-444
    • Place of Presentation
      佐賀大学
    • Year and Date
      2009-03-02
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Presentation] Toward an Efficient Equality Computation in Connection Tableaux : A Modification Method without Symmetry Transformation2009

    • Author(s)
      Koji Iwanuma, Hidetomo Nabeshima, Katsumi Inoue
    • Organizer
      The 7th International Workshop on First-Order Theorem Proving(FTP 2009)
    • Place of Presentation
      Oslo, Norway
    • Year and Date
      2009-07-06
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] Evaluating Abductive Hypotheses Using an EM Algorithm on BDDs2009

    • Author(s)
      Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima
    • Organizer
      The 21st International Joint Conference on Artificial Intelligence(IJCAI-09)
    • Place of Presentation
      Pasadena, USA
    • Year and Date
      2009-07-14
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] 並列分散型SATソルバにおける探索空間の分割手法の提案2009

    • Author(s)
      高見明秀, 鍋島英知, 岩沼宏治
    • Organizer
      電子情報通信学会
    • Place of Presentation
      佐賀大学
    • Year and Date
      2009-03-02
    • Data Source
      KAKENHI-PROJECT-20240003
  • [Presentation] Evaluating Abductive Hypotheses using an EM Algorithm on BDDs.2009

    • Author(s)
      Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima.
    • Organizer
      The 21st International, Joint Conference on Artificial Intelligence (TJCAT-09)
    • Place of Presentation
      Pasadena, USA
    • Year and Date
      2009-07-14
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] 並列分散型SATソルバにおける探索空間の分割手法の提案2009

    • Author(s)
      高見明秀, 鍋島英知, 岩沼宏治
    • Organizer
      電子情報通信学会技術研究報告IEICE-SS-444
    • Place of Presentation
      佐賀大学
    • Year and Date
      2009-03-02
    • Data Source
      KAKENHI-PROJECT-19700135
  • [Presentation] Toward an Efficient Equality Computation in Connection Tableaux : A Modification Method without Symmetry Transformation.2009

    • Author(s)
      Koji Iwanuma, Hidetomo Nabeshima Katsumi Inoue.
    • Organizer
      The 7th International Workshop on First-Order Theorem Proving (FTP 2009)
    • Place of Presentation
      Oslo, Norway
    • Year and Date
      2009-07-06
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] A Complete Pruning Methods and a Practical Search Strategy for SOL2008

    • Author(s)
      Nabeshima, Hidetomo
    • Organizer
      Proceedings of the 7th International Workshop on the Implementation of Logics (IWIL 2008)
    • Place of Presentation
      Doha, Qatar
    • Year and Date
      2008-11-22
    • Data Source
      KAKENHI-PROJECT-20240016
  • [Presentation] マルチコア環境に向けた高速並列SATソルバの開発2007

    • Author(s)
      高見明秀, 鍋島英知, 岩沼宏治
    • Organizer
      第6回情報科学技術フォーラム
    • Place of Presentation
      中京大学
    • Year and Date
      2007-09-07
    • Data Source
      KAKENHI-PROJECT-19700135
  • [Presentation] マルチコア環境向け並列SATソルバの開発2007

    • Author(s)
      高見明秀, 鍋島英知, 岩沼宏治
    • Organizer
      電子情報通信学会技術研究報告
    • Place of Presentation
      機会振興会館
    • Year and Date
      2007-05-24
    • Data Source
      KAKENHI-PROJECT-19700135
  • [Presentation] マルチコア環境に向けた高速並列SATソルバの開発2007

    • Author(s)
      鍋島英知
    • Organizer
      第6回情報科学技術フォーラム
    • Place of Presentation
      中京大学
    • Year and Date
      2007-09-07
    • Data Source
      KAKENHI-PROJECT-17300051
  • [Presentation] Lemma Reusing for SAT based Planning and Scheduling2006

    • Author(s)
      Hidetomo Nabeshima
    • Organizer
      The International Conference on Automated Planning and Scheduling 2006(ICAPS'06)
    • Place of Presentation
      Lake District(U.K.)
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300051
  • [Presentation] Rapid Synthesis of Domain-specific Web Search Engines based on Semi-automatic Training-example Generation2006

    • Author(s)
      Hidetomo Nabeshima
    • Organizer
      The International Conference on Web Intelligence 2006(WI '06)
    • Place of Presentation
      Hong Kong
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300051
  • [Presentation] Lemma Reusing for SAT based Planning ar. Scheduling2006

    • Author(s)
      Hidetomo Nabeshima
    • Organizer
      The International Conference on Automated Planning and Scheduling 2006(ICAPS'06)
    • Place of Presentation
      Lake District, U.K
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300051
  • [Presentation] Rapid Synthesis of Domain-specific Web Search Engines based on Semi-automatic Training-example Generation2006

    • Author(s)
      Hidetomo Nabeshima
    • Organizer
      The International Conference on Web Intelligence 2006 (WI'06)
    • Place of Presentation
      Hong Kong
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300051
  • [Presentation] Inducing Causal Laws by Regular Inference2005

    • Author(s)
      Katsumi Inoue(Hidetomo Nabeshima)
    • Organizer
      The 15th International Conference on Inductive Logic Programming(ILP 2005)
    • Place of Presentation
      Bonn, Germany[Lecture Notes Artificial Intelligence, Vol.3625]
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300051
  • [Presentation] Inducing Causal Laws by Regular Inference2005

    • Author(s)
      Katsumi Inoue(Hidetomo Nabeshima)
    • Organizer
      The 15th International Conference on Inductive Logic Programming (ILP 2005) [Lecture Notes in Artificial Intelligence, Vol.3625]
    • Place of Presentation
      Bonn(Germany)
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300051
  • [Presentation] CDCL ソルバーのための軽量動的包摂検査

    • Author(s)
      杉本 拓也,鍋島 英知
    • Organizer
      第28回人工知能学会全国大会
    • Place of Presentation
      ひめぎんホール(愛媛県・松山市)
    • Year and Date
      2014-05-12 – 2014-05-15
    • Data Source
      KAKENHI-PROJECT-26330248
  • [Presentation] CDCLソルバーにおける学習節の深さに基づく節管理戦略

    • Author(s)
      横前 菜々子,鍋島 英知
    • Organizer
      人工知能学会 第97回人工知能基本問題研究会
    • Place of Presentation
      別府国際コンベンションセンター(大分県・別府市)
    • Year and Date
      2015-03-22 – 2015-03-23
    • Data Source
      KAKENHI-PROJECT-26330248
  • [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
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] 大規模SAT問題の求解のための緩和解法の検討と提案

    • Author(s)
      三神 直彬,鍋島 英知
    • Organizer
      第28回人工知能学会全国大会
    • Place of Presentation
      ひめぎんホール(愛媛県・松山市)
    • Year and Date
      2014-05-12 – 2014-05-15
    • Data Source
      KAKENHI-PROJECT-26330248
  • [Presentation] CDCLソルバーのための軽量動的簡単化手法

    • Author(s)
      杉本 拓也,鍋島 英知
    • Organizer
      人工知能学会 第97回人工知能基本問題研究会
    • Place of Presentation
      別府国際コンベンションセンター(大分県・別府市)
    • Year and Date
      2015-03-22 – 2015-03-23
    • Data Source
      KAKENHI-PROJECT-26330248
  • [Presentation] SAT変換手法における充足不能コアの抽出

    • Author(s)
      渡辺 大樹,鍋島 英知
    • Organizer
      人工知能学会 第97回人工知能基本問題研究会
    • Place of Presentation
      別府国際コンベンションセンター(大分県・別府市)
    • Year and Date
      2015-03-22 – 2015-03-23
    • Data Source
      KAKENHI-PROJECT-26330248
  • [Presentation] 拡張融合法に基づく次世代SATソルバーの試作

    • Author(s)
      森 淳,鍋島 英知
    • Organizer
      第27回人工知能学会全国大会
    • Place of Presentation
      富山国際会議場
    • Data Source
      KAKENHI-PROJECT-24300007
  • [Presentation] 最新SATソルバーへの充足不能コア抽出手法の実装

    • Author(s)
      渡辺 大樹,鍋島 英知
    • Organizer
      第27回人工知能学会全国大会
    • Place of Presentation
      富山国際会議場
    • Data Source
      KAKENHI-PROJECT-24300007
  • 1.  INOUE Katsumi (10252321)
    # of Collaborated Projects: 8 results
    # of Collaborated Products: 38 results
  • 2.  IWANUMA Koji (30176557)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 25 results
  • 3.  TAMURA Naoyuki (60207248)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 9 results
  • 4.  BANBARA Mutsunori (80290774)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 10 results
  • 5.  YAMAMOTO Yoshitaka (30550793)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 3 results
  • 6.  SAKAMA Chiaki (20273873)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 7.  SOH Takehide (00625121)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 4 results
  • 8.  HANEDA Hiromasa (10031113)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 9.  SATOH Ken (00271635)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 10.  HIRAYAMA Katsutoshi (00273813)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  YOKOO Makoto (20380678)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  HASEGAWA Ryuzo (20274483)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 4 results
  • 13.  FUJITA Hiroshi (70284552)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 4 results
  • 14.  KISHIMURA Miyuki (30274492)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 15.  UEDA Kazunori (10257206)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  SATO Taisuke (90272690)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 5 results
  • 17.  KAMEYA Yoshitaka (60361789)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 5 results
  • 18.  FUJIYAMA Asao (60142311)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  TANJO Tomoya (40635067)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  OKIMOTO Tenda (10632432)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  KITAMURA Yasuhiko (00204917)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  田川 聖治 (50252789)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  安田 宜仁 (50396149)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  有村 博紀 (20222763)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  井上 武 (70873678)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 5 results
  • 26.  美添 一樹 (80449115)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  西野 正彬 (90794529)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 28.  尾崎 暢
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi