論文
公開件数:23件
No. 種別 査読の有無 標題 単著・共著区分 著者 誌名 巻号頁 出版日 ISSN DOI URL
1 一般論文

Exploiting Functional Dependencies of Variables in All-Solutions SAT Solvers
共著
Takahisa Toda, Takeru Inoue
Journal of Information Processing
25/ -, 459-468
2017



2 一般論文

Dualization of Boolean Functions Using Ternary Decision Diagrams
単著
Takahisa Toda
Annals of Mathematics and Artificial Intelligence
79/ 1, 229-244
2016

10.1007/s10472-016-9520-z

3 一般論文

Implementing Efficient All Solutions SAT Solvers
共著
Takahisa Toda, Takehide Soh
ACM Journal of Experimental Algorithmics
21/ 1, ---
2016



4 一般論文

Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams
共著
Yuma Inoue, Takahisa Toda, Shin-ishi Minato
IEICE Trans. Fundamentals
E97-A/ 6, 1171-1179
2014/06/01



5 一般論文

On Separating Families of Bipartitions
共著
Takahisa Toda, Ivo Vigan
Discrete Mathematics
313/ 3, 286-292
2013



6 一般論文

On Separating Convex Points with Lines
共著
Takahisa Toda, Ivo Vigan
Congressus Numerantium
214, 143-153
2012



7 一般論文

Extracting Co-occurrence Relations from ZDDs
単著
戸田貴久
Algorithms
5/ 4, 654-667
2012



8 一般論文

On Partitioning Colored Points
単著
Takahisa Toda
IEICE Trans. Fundamentals
E95-A/ 6, 1242-1246
2011



9 招待論文

ZDDと列挙問題 - 最新の技法とプログラミングツール
共著
戸田貴久, 斎藤寿樹, 岩下洋哲, 川原純, 湊真一
日本ソフトウェア科学会論文誌 コンピュータソフトウェア
34/ 3, 97-120
2016



10 国際会議プロシーディングス等

Fast Exact Algorithm to Solve Continuous Similarity Search for Evolving Queries
共著
Tomohiro Yamazaki, Hisashi Koga, Takahisa Toda
Proc. of 13th Asia Information Retrieval Societies Conference
LNCS 10648, 84-96
2017



11 国際会議プロシーディングス等

Improved Compression-Based Pattern Recognition Exploiting New Useful Freatures
共著
Taichi Uchino, Hisashi Koga, Takahisa Toda
Proc. of the 8-th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA)
10255, 363-371
2017



12 国際会議プロシーディングス等

Fast Exact Algorithm to Solve Continuous Similarity Search for Evolving Queries
共著
Tomohiro Yamazaki, Hisashi Koga, Takahisa Toda
AIRS 2017
LNCS 10648, 84-96
2017/11



13 国際会議プロシーディングス等

Effective Construction of Compression-based Feature Space
共著
Hisashi Koga, Yuji Nakajima, Takahisa Toda
Proc. of the International Symposium on Information Theory and Its Applications (ISITA), October, 2016
-/ -, 116-120
2017/02/06



14 国際会議プロシーディングス等

Superset Generation on Decision Diagrams
共著
Takahisa Toda, Shogo Takeuchi, Koji Tsuda, Shin-ichi Minato
WALCOM: Algorithms and Computation, LNCS
8973, 317-322
2015



15 国際会議プロシーディングス等

BDD Construction for All Solutions SAT and Efficient Caching Mechanism
共著
Takahisa Toda, Koji Tsuda
Proc. of the 30th Annual ACM Symposium on Applied Computing
1880-1886
2015



16 国際会議プロシーディングス等

A General Framework for Parallel Unary Operations on ZDDs
共著
Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato
Proc. of the fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery, in conjunction with PAKDD 2014, LNCS
8643, 494-503
2014



17 国際会議プロシーディングス等

Three-way Indexing ZDDs for Large-scale Sparse Datasets
共著
Hiroshi Aoki, Takahisa Toda, Shin-ichi Minato
Proc. of the fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery, in conjunction with PAKDD 2014, LNCS
8643, 457-469
2014



18 国際会議プロシーディングス等

Dualization of Boolean Functions Using Ternary Decision Diagrams
単著
Takahisa Toda
Proceedings of the 13th International Symposium on Artificial Intelligence and Mathematics (ISAIM2014)
1-7
2014



19 国際会議プロシーディングス等

Hypergraph Transversal Computation with Binary Decision Diagram
単著
Takahisa Toda
Proceedings of the 12th International Symposium on Experimental Algorithms, LNCS
7933, 91-102
2013



20 国際会議プロシーディングス等

Fast Compression of Large-scale Hypergraphs for Solving Combinatorial Problems
単著
Takahisa Toda
Proceedings of the 16th International conference on Discovery Science (DS2013), LNAI
8140, 281-293
2013



21 国際会議プロシーディングス等

Multipolytopes and Their Duality
単著
Takahisa Toda
Proceedings of the 7th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications
457-464
2011



22 国際会議プロシーディングス等

Convex sets in real projective space and its application to computational geometry
単著
Takahisa Toda
Proceedings of the 7th Japan Conference on Computational Geometry and Graphs
20-21
2009



23 解説

超大規模なグラフ構造の効率的な処理技術
単著
戸田 貴久、竹内 聖悟、美添 一樹
電子情報通信学会誌
97/ 12, 1097-1102
2014/12/01
2188-2355