Takahisa Toda

31 papers A* 2B 7C 1Misc 3Journal 14Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Quantitative Verification of Fairness in Tree Ensembles.
CoRR
Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura
2024 A* conf
Approximation-guided Fairness Testing through Discriminatory Space Analysis.
ASE
Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura
2024 J jnl
Diversity-aware fairness testing of machine learning classifiers through hashing-based sampling.
Inf. Softw. Technol.
Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura
2024 A* conf
Toward Individual Fairness Testing with Data Validity.
ASE
Takashi Kitamura, Sousuke Amasaki, Jun Inoue, Yoshinao Isobe, Takahisa Toda
2023 B conf
Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability.
ICTAI
Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama
2023 B conf
ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems.
CPAIOR
Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
2022 B conf
Applying Combinatorial Testing to Verification-Based Fairness Testing.
SSBSE
Takashi Kitamura, Zhenjiang Zhao, Takahisa Toda
2022 B conf
Efficient Fairness Testing Through Hash-Based Sampling.
SSBSE
Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura
2022 J jnl
ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems.
CoRR
Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
2021 J jnl
Interval-based Counterexample Analysis for Error Explanation.
J. Inf. Process.
Takahisa Toda, Takeru Inoue
2020 J jnl
Exact Method for Generating Strategy-Solvable Sudoku Clues.
Algorithms
Kohei Nishikawa, Takahisa Toda
2020 J jnl
Exact Method for Generating Strategy-Solvable Sudoku Clues.
CoRR
Kohei Nishikawa, Takahisa Toda
2018 — conf
Extended Min-Hash Focusing on Intersection Cardinality.
IDEAL (1)
Hisashi Koga, Satoshi Suzuki, Taiki Itabashi, Gibran Fuentes-Pineda, Takahisa Toda
2017 J jnl
Dualization of boolean functions using ternary decision diagrams.
Ann. Math. Artif. Intell.
Takahisa Toda
2017 J jnl
Exploiting Functional Dependencies of Variables in All Solutions SAT Solvers.
J. Inf. Process.
Takahisa Toda, Takeru Inoue
2017 — conf
Fast Exact Algorithm to Solve Continuous Similarity Search for Evolving Queries.
AIRS
Tomohiro Yamazaki, Hisashi Koga, Takahisa Toda
2017 Misc conf
Improved Compression-Based Pattern Recognition Exploiting New Useful Features.
IbPRIA
Taichi Uchino, Hisashi Koga, Takahisa Toda
2016 C conf
Effective construction of compression-based feature space.
ISITA
Hisashi Koga, Yuji Nakajima, Takahisa Toda
2016 J jnl
Implementing Efficient All Solutions SAT Solvers.
ACM J. Exp. Algorithmics
Takahisa Toda, Takehide Soh
2015 Misc conf
BDD construction for all solutions SAT and efficient caching mechanism.
SAC
Takahisa Toda, Koji Tsuda
2015 J jnl
Implementing Efficient All Solutions SAT Solvers.
CoRR
Takahisa Toda, Takehide Soh
2015 B conf
Superset Generation on Decision Diagrams.
WALCOM
Takahisa Toda, Shogo Takeuchi, Koji Tsuda, Shin-ichi Minato
2014 — conf
A General Framework for Parallel Unary Operations on ZDDs.
PAKDD Workshops
Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato
2014 Misc conf
Dualization of Boolean functions Using Ternary Decision Diagrams.
ISAIM
Takahisa Toda
2014 J jnl
Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yuma Inoue, Takahisa Toda, Shin-ichi Minato
2014 — conf
Three-way Indexing ZDDs for Large-Scale Sparse Datasets.
PAKDD Workshops
Hiroshi Aoki, Takahisa Toda, Shin-ichi Minato
2013 B conf
Fast Compression of Large-Scale Hypergraphs for Solving Combinatorial Problems.
Discovery Science
Takahisa Toda
2013 B conf
Hypergraph Transversal Computation with Binary Decision Diagrams.
SEA
Takahisa Toda
2013 J jnl
On separating families of bipartitions.
Discret. Math.
Takahisa Toda, Ivo Vigan
2012 J jnl
Extracting Co-Occurrence Relations from ZDDs.
Algorithms
Takahisa Toda
2011 J jnl
On Partitioning Colored Points.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Takahisa Toda