Takahisa Toda

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 19

Top Topics

Boolean Satisfiability

Machine Learning

Top Venues

PAKDD Workshops

J. Inf. Process.

Publications

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