日本語
The University of Electro-Communications 
Graduate School of Informatics and Engineering, School of Informatics and Engineering 
"Department of Computer and Network Engineering, Cluster I (Informatics and Computer Engineering)" 

Associate Professor 
Takahisa TODA 

Career
富士通研究所  自律システム研究部  研究員  2006/04/01-2008/03/31 
JST ERATO湊離散構造処理系プロジェクト  博士研究員  2012/04/01-2014/02/28 
北海道大学  情報科学研究科  学術研究員  2012/04/01-2014/02/28 

Academic background
Kyoto University  工学部  物理工学科  Other  Other 
Kyoto University  人間・環境学研究科  共生人間学  Master's program  2006/03/31  Completed 
Kyoto University  人間・環境学研究科  共生人間学  Doctoral program  2012/03/31  Completed 
Kyoto University  総合人間学部  基礎科学科  Other  2004/03/31  Graduated 

Academic degrees
博士(人間・環境学)  Kyoto University  2012/03 

Current research areas
Intelligent informatics 
Theory of informatics 
Software 

Current research subjects
An efficient method to solve large-scale combinatorial problems using decision diagrams  2014/03/01-2017/03/31 
ネットワーク状態検証のためのアルゴリズム技術に関する研究  2015/06/01-2016/03/31 
大規模制約充足問題の全解探索のための実用的な計算基盤の確立とその応用  2017/04/01-Present 

Published books
Book  超高速グラフ列挙アルゴリズム –フカシギの数え方が拓く,組合せ問題の新アプローチ−  ERATO 湊離散構造処理系プロジェクト  森北出版  2015/04/08  978-4627852617 
View details...

Published papers
Paper  Yes  Interval-based Counterexample Analysis for Error Explanation  Joint  Takahisa Toda, Takeru Inoue  Journal of Information Processing  62/ 10, 630-639  2021 
Paper  Yes  交差回避制約を用いた単純配線決定問題のCSP解法  Joint  渡辺 光洋、戸田貴久  電子情報通信学会論文誌D  J104-D/ 04, 0-0  2021/04 
Paper  Yes  Exact Method for Generating Strategy-Solvable Sudoku Clues  Joint  Kohei Nishikawa, Takahisa Toda  Algorithms  13/ 7, 1-17  2020/07/16  https://doi.org/10.3390/a13070171 
Paper  Yes  Exploiting Functional Dependencies of Variables in All-Solutions SAT Solvers  Joint  Takahisa Toda, Takeru Inoue  Journal of Information Processing  25/ -, 459-468  2017 
Paper  Yes  Dualization of Boolean Functions Using Ternary Decision Diagrams  Only  Takahisa Toda  Annals of Mathematics and Artificial Intelligence  79/ 1, 229-244  2016  10.1007/s10472-016-9520-z 
View details...

Research presentations
Oral presentation for an academic conference  SATフィルターの検討  基盤(S) 離散構造処理系プロジェクト「2019年度 秋のワークショップ」  2  No  戸田貴久  2019/11/06 
Oral presentation for an academic conference  SATサンプリングとその周辺  基盤(S) 離散構造処理系プロジェクト「短期滞在セミナー週間 (SSSW) 2019.09」  4  No  戸田貴久  2019/09/18 
Oral presentation for an academic conference  制約言語の観点におけるCP4IMの複雑さ  基盤(S) 離散構造処理系プロジェクト「2019年度 初夏のワークショップ」  P01  No  戸田貴久  2019/06/28 
Oral presentation for an academic conference  交差回避制約によるSAT型ナンバーリンクソルバーの高速化  第108回人工知能基本問題研究会  109  No  渡辺光洋,戸田貴久  2019/03/14 
Oral presentation for an academic conference  モデル検査における反例空間の構造解析  人工知能学会 第107回人工知能基本問題研究会(SIG-FPAI)  1  No  戸田貴久  2018/08 
View details...

Grants-in-aid for scientific research
大規模制約充足問題の全解探索のための実用的な計算基盤の確立とその応用  Young scientists (B)  2017/04/01-2021/03/31 
決定グラフを用いた超大規模ヒッティング集合の列挙・索引化とその知識発見への応用  Young scientists (B)  2014/04/01-2018/03/31 
View details...

External fund
組合せ最適化の研究助成  Donations for research  株式会社富士通研究所  研究助成  2017/10-Present 
組合せ最適化の研究助成  Donations for research  株式会社富士通研究所  研究助成  2016/10-Present 
View details...

Past records of joint or funded research
ネットワーク設定検証のためのアルゴリズム技術に関する研究  2015-2016  Joint research  Domestic joint research 
View details...