NABESHIMA Hidetomo 鍋島英知

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

並列充足可能性判定器の実用的基盤の実現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

[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
  第３６回人工知能学会全国大会
- 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

NABESHIMA Hidetomo 鍋島 英知

Research Projects

Research Products

Co-Researchers

並列充足可能性判定器の実用的基盤の実現Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A study on deterministic parallel SAT solversPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A fast Boolean satisfiability problem solver by shortening the proofPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study of Accelerating Boolean Satisfiability SolversPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A study on a practical consequence finding systemPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study of Advanced and Effective SAT Planning and SchedulingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

補題の活用による高速SATプランニングシステムの構築Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

SATアプローチに基づく高速プランニングシステムの構築Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

NABESHIMA Hidetomo 鍋島英知

[Journal Article] Laboratory Assignment Problems with Tie on Students' Preferences2019