Toda Takahisa 戸田貴久

Researcher Number	50451159
Other IDs
Affiliation (Current)	2021: 電気通信大学, 大学院情報理工学研究科, 准教授
Affiliation (based on the past Project Information) *help	2018 – 2020: 電気通信大学, 大学院情報理工学研究科, 准教授 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 … More Except Principal Investigator 組合せ遷移 / 配電切替 / SATソルバー / ゼロサプレス型二分決定グラフ Less

工学アプローチによる組合せ遷移の展開：配電切替を足がかりとして汎用ソルバーへOngoing
- 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
大規模制約充足問題の全解探索のための実用的な計算基盤の確立とその応用Principal InvestigatorOngoing
- Principal Investigator
  
  戸田貴久
- Project Period (FY)
  2017 – 2020
- 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 2019 2018 2017 2016 2015 2014 Other

All Journal Article Presentation

[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] 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. TSUDA Koji

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Toda Takahisa 戸田 貴久

Research Projects

Research Products

Co-Researchers

工学アプローチによる組合せ遷移の展開：配電切替を足がかりとして汎用ソルバーへOngoing

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

大規模制約充足問題の全解探索のための実用的な計算基盤の確立とその応用Principal InvestigatorOngoing

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] 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

Data Source

[Journal Article] Superset Generation on Decision Diagrams2015

Author(s)

Journal Title

DOI

Data Source

[Journal Article] A General Framework for Parallel Unary Operations on ZDDs2014

Author(s)

Journal Title

DOI

NAID

Data Source

[Presentation] SATフィルターの検討2019

Author(s)

Organizer

Data Source

[Presentation] 制約言語の観点におけるCP4IMの複雑さ2019

Author(s)

Organizer

Data Source

[Presentation] モデル検査における反例空間の構造解析2018

Author(s)

Organizer

Data Source

[Presentation] 誤りの効果的な説明のための反例空間解析2018

Author(s)

Organizer

Data Source

[Presentation] 命題論理式を充足する変数割当の網羅的探索手法について2017

Author(s)

Organizer

Data Source

[Presentation] 効率的なAllSATソルバーの実装と評価2017

Author(s)

Organizer

Data Source

Toda Takahisa 戸田貴久