result

Takahisa Toda
todat(at)acm.org

Associate Professor
Department of Communication Engineering and Informatics
Graduate School of Informatics and Engineering
The University of Electro-Communications, Tokyo, Japan

Journal Papers

• Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura, Diversity-aware fairness testing of machine learning classifiers through hashing-based sampling, Information and Software Technology, Volume 167, 2024.
• Takahisa Toda, Takeru Inoue, Interval-based Counterexample Analysis for Error Explanation, Journal of Information Processing, Vol. 29, pp.630-639, (2021).
• Kohei Nishikawa, Takahisa Toda, Exact Method for Generating Strategy-Solvable Sudoku Clues. Algorithms 13(7): 171 (2020)
• Takahisa Toda, Takeru Inoue, Exploiting Functional Dependencies of Variables in All-Solutions SAT Solvers, Journal of Information Processing, Vol. 25 (2017), pp.459-468.
• Takahisa Toda, Takehide Soh, Implementing Efficient All Solutions SAT Solvers, ACM Journal of Experimental Algorithmics, Vol. 21, No. 1, Article 1.12, 2016.
• Takahisa Toda, Dualization of Boolean Functions Using Ternary Decision Diagrams, Annals of Mathematics and Artificial Intelligence, Vol. 79, Issue 1, pp.229-244, 2017.
• Yuma Inoue, Takahisa Toda and Shin-ichi Minato, Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams, IEICE Trans. Fundamentals (Special Issue on Discrete Mathematics and Its Applications), Vol.E97-A, No.6, pp.1171-1179, Jun. 2014.
• Takahisa Toda and Ivo Vigan, On Separating Families of Bipartitions, Discrete Mathematics, 313, pp.286-292, 2013.
• Takahisa Toda, Extracting Co-occurrence Relations from ZDDs, Algorithms (Special Issue: Graph Algorithms), 5(4), pp.654-667, 2012.
• Takahisa Toda and Ivo Vigan, On separating convex points with lines, Congressus Numerantium, 214(2012), pp.143-153.
• Takahisa Toda, On Partitioning Colored Points, IEICE Trans. Fundamentals (Special Issue on Discrete Mathematics and Its Applications), Vol.E94-A, No.6, pp.1242-1246, Jun. 2011.

International Conference/Symposium Papers

• Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura, Approximation-guided Fairness Testing through Discriminatory Space Analysis, the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024.
• Takashi Kitamura, Sousuke Amasaki, Jun Inoue, Yoshinao Isobe, Takahisa Toda, Toward Individual Fairness Testing with Data Validity, the 39th IEEE/ACM International Conference on Automated Soft ware Engineering, 2024.
• Takahisa Toda and Takehiro Ito and Jun Kawahara and Takehide Soh and Akira Suzuki and Junichi Teruyama, Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability, IEEE 35th International Conference on Tools with Artificial Intelligence (ICTAI), 2023.
• Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda, ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problem, International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2023.
• Takashi Kitamura, Zhenjiang Zhao, Takahisa Toda, Applying Combinatorial Testing to Verification-Based Fairness Testing, International Symposium on Search Based Software Engineering, SSBSE 2022, Singapore, November 17-18, 2022.
• Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura, Efficient Fairness Testing through Hash-Based Sampling, International Symposium on Search Based Software Engineering, SSBSE 2022, Singapore, November 17-18, 2022.
• Hisashi Koga, Satoshi Suzuki, Taiki Itabashi, Gibran Fuentes Pineda, Takahisa Toda, Extended Min-Hash Focusing on Intersection Cardinality, IDEAL (1) 2018: 17-26.
• Tomohiro Yamazaki, Hisashi Koga, Takahisa Toda, Fast Exact Algorithm to Solve Continuous Similarity Search for Evolving Queries, in Proc. of 13th Asia Information Retrieval Societies Conference, AIRS 2017, Jeju Island, South Korea, November 22-24, 2017.
• Taichi Uchino, Hisashi Koga, Takahisa Toda, Improved Compression-Based Pattern Recognition Exploiting New Useful Freatures, in Proc. of the 8-th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA), June, 2017, Faro, Portugal.
• Hisashi Koga, Yuji Nakajima, Takahisa Toda, Effective Construction of Compression-based Feature Space, in Proc. of the International Symposium on Information Theory and Its Applications (ISITA), October, 2016, Monterey, California, USA.
• Takahisa Toda, Koji Tsuda, BDD Construction for All Solutions SAT and Efficient Caching Mechanism, in Proc. of the 30th Annual ACM Symposium on Applied Computing (Track on Constraint Solving and Programming and Knowledge Representation and Reasoning), pp. 1880-1886, April, 2015, Salamanca, Spain.
• Takahisa Toda, Shogo Takeuchi, Koji Tsuda, Shin-ichi Minato, Superset Generation on Decision Diagrams, in Proc. of the 9th International Workshop on Algorithms and Computation (WALCOM 2015), LNCS, Vol. 8973, pp. 317-322, Feb., 2015, Dhaka, Bangladesh.
• Hiroshi Aoki, Takahisa Toda, Shin-ichi Minato, Three-way Indexing ZDDs for Large-scale Sparse Datasets, in Proc. of the fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery, in conjunction with PAKDD 2014, LNCS, Vol. 8643, pp. 457-469, May, 2014, Tainan, Taiwan.
• Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato, A General Framework for Parallel Unary Operations on ZDDs, in Proc. of the fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery, in conjunction with PAKDD 2014, LNCS, Vol. 8643, pp.494-503, May, 2014, Tainan, Taiwan.
• Yuma Inoue, Takahisa Toda, Shin-ichi Minato, “Generating Permutations under Pattern Occurence Constraints Using PiDDs”, in Proc. of the fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery, in conjunction with PAKDD 2014, May, 2014, Tainan, Taiwan.
• Takahisa Toda, Dualization of Boolean functions Using Ternary Decision Diagrams, in Proc. of 13th International Symposium on Artificial Intelligence and Mathematics (ISAIM2014), Florida, USA(2014).
• Takahisa Toda, Fast Compression of Large-scale Hypergraphs for Solving Combinatorial Problems, in Proc. of Sixteenth International Conference on Discovery Science (DS2013), LNAI 8140, pp. 281-293, Singapore (2013).
• Takahisa Toda, Hypergraph Transversal Computation with Binary Decision Diagrams, in Proc. of 12th International Symposium on Experimental Algorithms (SEA2013), LNCS 7933, pp.91-102, Rome, Italy (2013).
• Takahisa Toda, Multipolytopes and Their Duality, in Proceedings of the 7th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications, pp.457-464. Kyoto, May 31, 2011.