Takahisa Toda

According to our database, Takahisa Toda authored at least 24 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Diversity-aware fairness testing of machine learning classifiers through hashing-based sampling.

Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura

Inf. Softw. Technol., March, 2024

2023

Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability.

Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama

Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023

ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems.

Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

2022

Efficient Fairness Testing Through Hash-Based Sampling.

Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura

Proceedings of the Search-Based Software Engineering - 14th International Symposium, 2022

Applying Combinatorial Testing to Verification-Based Fairness Testing.

Takashi Kitamura, Zhenjiang Zhao, Takahisa Toda

Proceedings of the Search-Based Software Engineering - 14th International Symposium, 2022

2021

Interval-based Counterexample Analysis for Error Explanation.

Takahisa Toda, Takeru Inoue

J. Inf. Process., 2021

2020

Exact Method for Generating Strategy-Solvable Sudoku Clues.

Kohei Nishikawa, Takahisa Toda

Algorithms, 2020

2018

Extended Min-Hash Focusing on Intersection Cardinality.

Hisashi Koga, Satoshi Suzuki, Taiki Itabashi, Gibran Fuentes Pineda, Takahisa Toda

Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2018, 2018

2017

Exploiting Functional Dependencies of Variables in All Solutions SAT Solvers.

Takahisa Toda, Takeru Inoue

J. Inf. Process., 2017

Dualization of boolean functions using ternary decision diagrams.

Takahisa Toda

Ann. Math. Artif. Intell., 2017

Improved Compression-Based Pattern Recognition Exploiting New Useful Features.

Taichi Uchino, Hisashi Koga, Takahisa Toda

Proceedings of the Pattern Recognition and Image Analysis - 8th Iberian Conference, 2017

Fast Exact Algorithm to Solve Continuous Similarity Search for Evolving Queries.

Tomohiro Yamazaki, Hisashi Koga, Takahisa Toda

Proceedings of the Information Retrieval Technology, 2017

2016

Implementing Efficient All Solutions SAT Solvers.

Takahisa Toda, Takehide Soh

ACM J. Exp. Algorithmics, 2016

Effective construction of compression-based feature space.

Hisashi Koga, Yuji Nakajima, Takahisa Toda

Proceedings of the 2016 International Symposium on Information Theory and Its Applications, 2016

2015

Superset Generation on Decision Diagrams.

Takahisa Toda, Shogo Takeuchi, Koji Tsuda, Shin-ichi Minato

Proceedings of the WALCOM: Algorithms and Computation - 9th International Workshop, 2015

BDD construction for all solutions SAT and efficient caching mechanism.

Takahisa Toda, Koji Tsuda

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams.

Yuma Inoue, Takahisa Toda, Shin-ichi Minato

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014

A General Framework for Parallel Unary Operations on ZDDs.

Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato

Proceedings of the Trends and Applications in Knowledge Discovery and Data Mining, 2014

Three-way Indexing ZDDs for Large-Scale Sparse Datasets.

Hiroshi Aoki, Takahisa Toda, Shin-ichi Minato

Proceedings of the Trends and Applications in Knowledge Discovery and Data Mining, 2014

2013

On separating families of bipartitions.

Takahisa Toda, Ivo Vigan

Discret. Math., 2013

Hypergraph Transversal Computation with Binary Decision Diagrams.

Takahisa Toda

Proceedings of the Experimental Algorithms, 12th International Symposium, 2013

Fast Compression of Large-Scale Hypergraphs for Solving Combinatorial Problems.

Takahisa Toda

Proceedings of the Discovery Science - 16th International Conference, 2013

2012

Extracting Co-Occurrence Relations from ZDDs.

Takahisa Toda

Algorithms, 2012

2011

On Partitioning Colored Points.

Takahisa Toda

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011