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

Toda Takahisa  戸田 貴久

ORCIDConnect your ORCID iD *help
Researcher Number 50451159
Other IDs
Affiliation (Current) 2022: 電気通信大学, 大学院情報理工学研究科, 准教授
Affiliation (based on the past Project Information) *help 2018 – 2022: 電気通信大学, 大学院情報理工学研究科, 准教授
2016 – 2017: 電気通信大学, 大学院情報理工学研究科, 助教
2014 – 2015: 電気通信大学, その他の研究科, 助教
Review Section/Research Field
Principal Investigator
Theory of informatics / Intelligent informatics
Except Principal Investigator
Transformative Research Areas, Section (IV)
Keywords
Principal Investigator
アルゴリズム / SAT / モデル検査 / AllSAT / SATソルバー / ヒッティング集合 / 列挙 / 二分決定グラフ / アイテムセットマイニング / 双対化 … More / 論理関数 / モデル列挙 / 論理関数の双対化 / ALLSAT / BDD / 並列化 / 制約充足問題 / 反例解析 / セキュリティ / プライバシ / サンプリング / 複合イベント処理 / データベースの匿名化 / 制約 / ネットワーク / データマイニング … More
Except Principal Investigator
組合せ遷移 / グラフアルゴリズム / SAT / モデル検査 / ゼロサプレス型二分決定グラフ / 配電切替 / SATソルバー Less
  • Research Projects

    (3 results)
  • Research Products

    (38 results)
  • Co-Researchers

    (7 People)
  •  Engineering Approach for Expanding Combinatorial Reconfiguration: Toward a General-Purpose Solver Using Power Distribution Systems as a Steppingstone

    • Principal Investigator
      川原 純
    • Project Period (FY)
      2020 – 2022
    • Research Category
      Grant-in-Aid for Transformative Research Areas (B)
    • Review Section
      Transformative Research Areas, Section (IV)
    • Research Institution
      Kyoto University
  •  Development of Practical Techniques for All Soltuion Enumeration of Large-scale Constraint Satisfaction ProblemsPrincipal Investigator

    • Principal Investigator
      Toda Takahisa
    • Project Period (FY)
      2017 – 2021
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Intelligent informatics
      Theory of informatics
    • Research Institution
      The University of Electro-Communications
  •  A Large-scale Enumeration of Minimal Hitting Sets And Its Application to Knowledge DiscoveryPrincipal Investigator

    • Principal Investigator
      Toda Takahisa
    • Project Period (FY)
      2014 – 2017
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Theory of informatics
      Intelligent informatics
    • Research Institution
      The University of Electro-Communications

All 2022 2021 2020 2019 2018 2017 2016 2015 2014 Other

All Journal Article Presentation

  • [Journal Article] Solving a Simple Routing Problem by CSP Solver with Extra Cross-Avoidable Constraints2021

    • Author(s)
      渡辺 光洋, 戸田 貴久
    • Journal Title

      電子情報通信学会論文誌D 情報・システム

      Volume: J104-D Issue: 4 Pages: 434-441

    • DOI

      10.14923/transinfj.2020JDP7051

    • ISSN
      1880-4535, 1881-0225
    • Language
      Japanese
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K17725
  • [Journal Article] Interval-based Counterexample Analysis for Error Explanation2021

    • Author(s)
      Takahisa Toda, Takeru Inoue
    • Journal Title

      Journal of Information Processing

      Volume: 20 Issue: 0 Pages: 630-639

    • DOI

      10.2197/ipsjjip.29.630

    • NAID

      130008104497

    • ISSN
      1882-6652
    • Language
      English
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K17725
  • [Journal Article] Exact Method for Generating Strategy-Solvable Sudoku Clues2020

    • Author(s)
      Kohei Nishikawa, Takahisa Toda
    • Journal Title

      Algorithms

      Volume: 13 Pages: 1-17

    • DOI

      10.3390/a13070171

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17K17725
  • [Journal Article] Exploiting Functional Dependencies of Variables in All Solutions SAT Solvers2017

    • Author(s)
      Takahisa Toda, Takeru Inoue
    • Journal Title

      Journal of Information Processing

      Volume: 25 Issue: 0 Pages: 459-468

    • DOI

      10.2197/ipsjjip.25.459

    • NAID

      130005775576

    • ISSN
      1882-6652
    • Language
      English
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K17725, KAKENHI-PROJECT-26870011
  • [Journal Article] ZDDと列挙問題 - 最新の技法とプログラミングツール2017

    • Author(s)
      戸田貴久, 斎藤寿樹, 岩下洋哲, 川原純, 湊真一
    • Journal Title

      日本ソフトウェア科学会論文誌 コンピュータソフトウェア

      Volume: -

    • NAID

      130005966815

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Journal Article] Dualization of Boolean Functions Using Ternary Decision Diagrams2017

    • Author(s)
      Takahisa Toda
    • Journal Title

      Annals of Mathematics and Artificial Intelligence

      Volume: 79 Pages: 229-244

    • DOI

      10.1007/s10472-016-9520-z

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Journal Article] Implementing Efficient All Solutions SAT Solvers2016

    • Author(s)
      Takahisa Toda, Takehide Soh
    • Journal Title

      ACM Journal of Experimental Algorithmics

      Volume: 21(1) Pages: 1-44

    • DOI

      10.1145/2975585

    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-26870011, KAKENHI-PROJECT-16H02803
  • [Journal Article] Superset Generation on Decision Diagrams2015

    • Author(s)
      Takahisa Toda, Shogo Takeuchi, Koji Tsuda, Shin-ichi Minato
    • Journal Title

      WALCOM: Algorithms and Computation, Lecture Note in Computer Science

      Volume: 8973 Pages: 317-322

    • DOI

      10.1007/978-3-319-15612-5_28

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-26870011
  • [Journal Article] A General Framework for Parallel Unary Operations on ZDDs2014

    • Author(s)
      Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato
    • Journal Title

      Trends and Applications in Knowledge Discovery and Data Mining Lecture Notes in Computer Science

      Volume: 8643 Pages: 494-503

    • DOI

      10.1007/978-3-319-13186-3_44

    • NAID

      40019948150

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Presentation] 不確実性下における複合イベント処理に関する考察2022

    • Author(s)
      夏 涛, 戸田 貴久
    • Organizer
      第186回アルゴリズム研究発表会
    • Data Source
      KAKENHI-PROJECT-17K17725
  • [Presentation] 有界モデル検査による独立集合遷移問題の解法に関する考察2022

    • Author(s)
      戸田 貴久, 伊藤 健洋, 川原 純, 宋 剛秀, 鈴木 顕, 照山 順一
    • Organizer
      第186回アルゴリズム研究発表会
    • Data Source
      KAKENHI-PROJECT-17K17725
  • [Presentation] 属性間依存度を考慮したデータベースの安全なフラグメント化2022

    • Author(s)
      磯田 飛鳥, 戸田 貴久
    • Organizer
      第14回データ工学と情報マネジメントに関するフォーラム
    • Data Source
      KAKENHI-PROJECT-17K17725
  • [Presentation] 命題論理式の解の一様サンプリングの改善2021

    • Author(s)
      中島祐輝,戸田貴久
    • Organizer
      第20回情報科学技術フォーラム
    • Data Source
      KAKENHI-PROJECT-17K17725
  • [Presentation] SATフィルターの検討2019

    • Author(s)
      戸田貴久
    • Organizer
      基盤(S) 離散構造処理系プロジェクト 「2019年度 秋のワークショップ」
    • Data Source
      KAKENHI-PROJECT-17K17725
  • [Presentation] 制約言語の観点におけるCP4IMの複雑さ2019

    • Author(s)
      戸田貴久
    • Organizer
      基盤(S) 離散構造処理系プロジェクト 「2019年度 初夏のワークショップ」
    • Data Source
      KAKENHI-PROJECT-17K17725
  • [Presentation] モデル検査における反例空間の構造解析2018

    • Author(s)
      戸田貴久
    • Organizer
      人工知能学会 第107回人工知能基本問題研究会
    • Data Source
      KAKENHI-PROJECT-17K17725
  • [Presentation] 誤りの効果的な説明のための反例空間解析2018

    • Author(s)
      戸田貴久
    • Organizer
      第170回アルゴリズム研究会
    • Data Source
      KAKENHI-PROJECT-17K17725
  • [Presentation] 命題論理式を充足する変数割当の網羅的探索手法について2017

    • Author(s)
      戸田貴久
    • Organizer
      人工知能学会 第103回人工知能基本問題研究会
    • Invited
    • Data Source
      KAKENHI-PROJECT-17K17725
  • [Presentation] 効率的なAllSATソルバーの実装と評価2017

    • Author(s)
      戸田貴久, 宋剛秀
    • Organizer
      第19回プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-17K17725
  • [Presentation] 効率的なAllSATソルバーの実装と評価2017

    • Author(s)
      戸田貴久
    • Organizer
      第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)
    • Place of Presentation
      華やぎの章 慶山(山梨県笛吹市)
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Presentation] 命題論理式を充足する変数割当の網羅的探索手法について2017

    • Author(s)
      戸田貴久
    • Organizer
      人工知能学会 第103回人工知能基本問題研究会(SIG-FPAI)
    • Place of Presentation
      湯布院公民館(大分県由布市)
    • Invited
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Presentation] モデル検査における反例発見から反例列挙への拡張2017

    • Author(s)
      戸田貴久
    • Organizer
      基盤(S) 離散構造処理系プロジェクト「2017年度 初夏のワークショップ」
    • Data Source
      KAKENHI-PROJECT-17K17725
  • [Presentation] モデル検査における反例発見から反例列挙への拡張2017

    • Author(s)
      戸田貴久
    • Organizer
      基盤(S) 離散構造処理系プロジェクト「2017年度 初夏のワークショップ」
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Presentation] 反例列挙に基づくモデル解析について2017

    • Author(s)
      戸田貴久
    • Organizer
      基盤(S) 離散構造処理系プロジェクト「2017年度 秋のワークショップ」
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Presentation] 変数間の支配関係に基づく論理式の全解列挙手法2016

    • Author(s)
      戸田 貴久, 井上 武
    • Organizer
      第30回人工知能学会全国大会
    • Place of Presentation
      福岡県北九州市
    • Year and Date
      2016-06-06
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Presentation] 変数間の支配関係に基づく論理式の全解列挙手法2016

    • Author(s)
      戸田貴久
    • Organizer
      第30回人工知能学会全国大会
    • Place of Presentation
      北九州国際会議場(福岡県北九州市)
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Presentation] BDD construction for all solutions SAT and efficient caching mechanism2015

    • Author(s)
      Takahisa Toda, Koji Tsuda
    • Organizer
      Proceedings of the 30th Annual ACM Symposium on Applied Computing
    • Place of Presentation
      Salamanca, Spain
    • Year and Date
      2015-04-17
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Presentation] BDDに基づくALLSATソルバーを用いたアイテムセットマイニング2015

    • Author(s)
      戸田貴久, 津田 宏治
    • Organizer
      第29回人工知能学会全国大会
    • Place of Presentation
      北海道函館市
    • Year and Date
      2015-05-31
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Presentation] AllSATソルバの最近の進展2015

    • Author(s)
      戸田貴久, 宋剛秀
    • Organizer
      ERATO湊離散構造処理系プロジェクト2015年度秋のワークショップ
    • Place of Presentation
      北海道千歳市
    • Year and Date
      2015-11-08
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Presentation] All Solutions SAT, BDD Compilation and Pattern Mining2015

    • Author(s)
      Takahisa Toda, Koji Tsuda
    • Organizer
      JST ERATO Kawarabayashi Large Graph Project / Minato Discrete Structure Manipulation System Project Joint Workshop
    • Place of Presentation
      東京都江東区
    • Year and Date
      2015-01-23
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Presentation] Efficient Caching Mechanism in BDD Compilation

    • Author(s)
      Takahisa Toda, Koji Tsuda
    • Organizer
      ERATO-ALSIP Special Seminar 2014
    • Place of Presentation
      京都府京都市
    • Year and Date
      2014-12-12 – 2014-12-13
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Presentation] メモリ階層を考慮したBDD演算とその並列化

    • Author(s)
      戸田貴久
    • Organizer
      ERATO湊離散構造処理系プロジェクト2014年度春のワークショップ
    • Place of Presentation
      北海道札幌市
    • Year and Date
      2014-04-18 – 2014-04-19
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Presentation] SATソルバーを用いたBDD構築法

    • Author(s)
      戸田貴久
    • Organizer
      第5回CSPSAT2研究会
    • Place of Presentation
      兵庫県神戸市
    • Year and Date
      2014-08-21 – 2014-08-22
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Presentation] ALLSATのためのBDD構築および効率的なキャッシング技法

    • Author(s)
      戸田貴久,津田宏治
    • Organizer
      人工知能学会 第97回人工知能基本問題研究会(SIG-FPAI)
    • Place of Presentation
      大分県別府市
    • Year and Date
      2015-03-22 – 2015-03-23
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Presentation] BDD Construction for All Solutions SAT and Efficient Caching Mechanism

    • Author(s)
      Takahisa Toda, Koji Tsuda
    • Organizer
      the 30th Annual ACM Symposium on Applied Computing
    • Place of Presentation
      Salamanca, Spain
    • Year and Date
      2015-04-13 – 2015-04-17
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Presentation] DPLL型BDD構築法の改善

    • Author(s)
      戸田貴久
    • Organizer
      ERATO湊離散構造処理系プロジェクト2014年度秋のワークショップ
    • Place of Presentation
      北海道礼文島
    • Year and Date
      2014-09-07 – 2014-09-10
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Presentation] Dualization Using Decision Diagrams and Its Application for Itemset Mining

    • Author(s)
      Takahisa Toda
    • Organizer
      INFORMS2014
    • Place of Presentation
      San Francisco, USA
    • Year and Date
      2014-11-09 – 2014-11-12
    • Invited
    • Data Source
      KAKENHI-PROJECT-26870011
  • [Presentation] 乗法標準形で与えられた論理関数に対する二分決定グラフ構築の効率化

    • Author(s)
      岩下洋哲, 戸田貴久, 津田 宏治, 湊真一
    • Organizer
      第28回人工知能学会全国大会
    • Place of Presentation
      愛媛県松山市
    • Year and Date
      2014-05-12 – 2014-05-15
    • Data Source
      KAKENHI-PROJECT-26870011
  • 1.  川原 純 (20572473)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  飯岡 大輔 (30377808)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  宋 剛秀 (00625121)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 4.  鈴木 顕 (10723562)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  照山 順一 (40709862)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  中畑 裕 (50942067)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  TSUDA Koji
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 1 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi