Toda Takahisa 戸田貴久

Researcher Number	50451159
Other IDs
Affiliation (Current)	2025: 電気通信大学, 大学院情報理工学研究科, 准教授
Affiliation (based on the past Project Information) *help	2018 – 2023: 電気通信大学, 大学院情報理工学研究科, 准教授 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 / サンプリング / プライバシ / セキュリティ / 反例解析 / 制約充足問題 / 並列化 / BDD / ALLSAT / 論理関数の双対化 / モデル列挙 / 論理関数 / 双対化 / アイテムセットマイニング / 二分決定グラフ / 列挙 / ヒッティング集合 … More Except Principal Investigator SATソルバー / 配電切替 / 配電網の開閉器切替 / 二分決定グラフ / グラフアルゴリズム / 配電制御 / ゼロサプレス型二分決定グラフ / モデル検査 / SAT / ソルバー / 組合せ遷移 Less

Engineering Approach for Expanding Combinatorial Reconfiguration: Toward a General-Purpose Solver Using Power Distribution Systems as a Steppingstone
- Principal Investigator
  
  KAWAHARA Jun
- 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
  
  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
  
  Intelligent informatics
- Research Institution
  The University of Electro-Communications

All 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 Other

All Journal Article Presentation

[Journal Article] Solving reconfiguration problems of first-order expressible properties of graph vertices with Boolean satisfiability2023
- Author(s)
  Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama
- Journal Title
  
  Proc. of 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023)
  
  Volume: - Pages: 294-302
- DOI
  10.1109/ictai59109.2023.00050
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11814, KAKENHI-PROJECT-22K11910, KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-23K11047, KAKENHI-PROJECT-20K11666, KAKENHI-PROJECT-18K18003, KAKENHI-PLANNED-20H05793, KAKENHI-PLANNED-20H05794
[Journal Article] ZDD-based algorithmic framework for solving shortest reconfiguration problems2023
- Author(s)
  Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama and Takahisa Toda
- Journal Title
  
  Proceedings of the 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023), Lecture Notes in Computer Science (LNCS)
  
  Volume: 13884 Pages: 1-17
- DOI
  10.1007/978-3-031-33271-5_12
- ISBN
  9783031332708, 9783031332715
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K11666, KAKENHI-PROJECT-19K11814, KAKENHI-PROJECT-22K11910, KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-23K11047, KAKENHI-PROJECT-18K18003, KAKENHI-PLANNED-20H05793, KAKENHI-PLANNED-20H05794
[Journal Article] ZDD-based algorithmic framework for solving shortest reconfiguration problems2022
- Author(s)
  Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
- Journal Title
  
  arXiv
  
  Volume: 2207.13959
- Open Access
- Data Source
  KAKENHI-PLANNED-20H05794
[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
- Year and Date
  2021-04-01
- 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: 29 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 Issue: 7 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 Issue: 1-3 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
  
  Journal of Experimental Algorithmics
  
  Volume: 21(1) Pages: 1-44
- DOI
  10.1145/2975585
- Peer Reviewed / 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
  
  Proc. 9th International Workshop on Algorithms and Computation (WALCOM 2015), Lecture Notes in Computer Science
  
  Volume: 8973 Pages: 317-322
- DOI
  10.1007/978-3-319-15612-5_28
- ISBN
  9783319156118, 9783319156125
- Peer Reviewed
- 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
- ISBN
  9783319131856, 9783319131863
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26870011
[Presentation] Solving reconfiguration problems of first-order expressible properties of graph vertices with Boolean satisfiability2023
- Author(s)
  Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama
- Organizer
  35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] ZDD-based algorithmic framework for solving shortest reconfiguration problems2023
- Author(s)
  Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
- Organizer
  20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] A ZDD-based solver for combinatorial reconfiguration problems2022
- Author(s)
  Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
- Organizer
  4th Combinatorial Reconfiguration Workshop
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] ZDDを用いた組合せ遷移ソルバーについての考察2022
- Author(s)
  伊藤健洋, 川原純, 宋剛秀, 鈴木顕, 照山順一, 戸田貴久
- Organizer
  2021年度冬のLAシンポジウム, 京都大学数理解析研究所RIMS共同研究（公開型）, 情報社会を支える計算機科学の基礎理論
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] ZDDを用いた組合せ遷移ソルバー2022
- Author(s)
  伊藤健洋, 川原純, 中畑裕, 宋剛秀, 鈴木顕, 照山順一, 戸田貴久
- Organizer
  日本オペレーションズ・リサーチ学会 2022年秋季研究発表会
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] 不確実性下における複合イベント処理に関する考察2022
- Author(s)
  夏涛, 戸田貴久
- Organizer
  第186回アルゴリズム研究発表会
- Data Source
  KAKENHI-PROJECT-17K17725
[Presentation] 有界モデル検査による独立集合遷移問題の解法に関する考察（On solving independent set reconfiguration problems with bounded model checking）2022
- Author(s)
  戸田貴久, 伊藤健洋, 川原純, 宋剛秀, 鈴木顕, 照山順一
- Organizer
  第186回アルゴリズム研究発表会
- Data Source
  KAKENHI-PLANNED-20H05794
[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. KAWAHARA Jun (20572473)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
2. 飯岡大輔 (30377808)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 宋剛秀 (00625121)

# of Collaborated Projects: 1 results

# of Collaborated Products: 8 results
4. 鈴木顕 (10723562)

# of Collaborated Projects: 1 results

# of Collaborated Products: 8 results
5. 照山順一 (40709862)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
6. 中畑裕 (50942067)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
7. TSUDA Koji

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
8. 伊藤健洋

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Toda Takahisa 戸田 貴久

Research Projects

Research Products

Co-Researchers

Engineering Approach for Expanding Combinatorial Reconfiguration: Toward a General-Purpose Solver Using Power Distribution Systems as a Steppingstone

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of Practical Techniques for All Soltuion Enumeration of Large-scale Constraint Satisfaction ProblemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Large-scale Enumeration of Minimal Hitting Sets And Its Application to Knowledge DiscoveryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Solving reconfiguration problems of first-order expressible properties of graph vertices with Boolean satisfiability2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] ZDD-based algorithmic framework for solving shortest reconfiguration problems2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] ZDD-based algorithmic framework for solving shortest reconfiguration problems2022

Author(s)

Journal Title

Data Source

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

Author(s)

Journal Title

DOI

ISSN

Year and Date

Language

Data Source

[Journal Article] Interval-based Counterexample Analysis for Error Explanation2021

Author(s)

Journal Title

DOI

NAID

ISSN

Language

Data Source

[Journal Article] Exact Method for Generating Strategy-Solvable Sudoku Clues2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Exploiting Functional Dependencies of Variables in All Solutions SAT Solvers2017

Author(s)

Journal Title

DOI

NAID

ISSN

Language

Data Source

[Journal Article] ZDDと列挙問題 - 最新の技法とプログラミングツール2017

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Dualization of Boolean Functions Using Ternary Decision Diagrams2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Implementing Efficient All Solutions SAT Solvers2016

Author(s)

Journal Title

DOI

Toda Takahisa 戸田貴久