( en | de | ru )

 

Disambiguierung von "Toda, Takahisa"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Implementing Efficient All Solutions SAT Solvers.

, und . CoRR, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Eisuke Takahisa

Ekaterina Todadze

 

Weitere Publikationen von Autoren mit dem selben Namen

Fast Exact Algorithm to Solve Continuous Similarity Search for Evolving Queries., , und . AIRS, Volume 10648 von Lecture Notes in Computer Science, Seite 84-96. Springer, (2017)ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems., , , , , , und . CPAIOR, Volume 13884 von Lecture Notes in Computer Science, Seite 167-183. Springer, (2023)Extended Min-Hash Focusing on Intersection Cardinality., , , , und . IDEAL (1), Volume 11314 von Lecture Notes in Computer Science, Seite 17-26. Springer, (2018)Effective construction of compression-based feature space., , und . ISITA, Seite 116-120. IEEE, (2016)Interval-based Counterexample Analysis for Error Explanation., und . J. Inf. Process., (2021)Exploiting Functional Dependencies of Variables in All Solutions SAT Solvers., und . J. Inf. Process., (2017)Hypergraph Transversal Computation with Binary Decision Diagrams.. SEA, Volume 7933 von Lecture Notes in Computer Science, Seite 91-102. Springer, (2013)Three-way Indexing ZDDs for Large-Scale Sparse Datasets., , und . PAKDD Workshops, Volume 8643 von Lecture Notes in Computer Science, Seite 457-469. Springer, (2014)A General Framework for Parallel Unary Operations on ZDDs., , und . PAKDD Workshops, Volume 8643 von Lecture Notes in Computer Science, Seite 494-503. Springer, (2014)Dualization of boolean functions using ternary decision diagrams.. Ann. Math. Artif. Intell., 79 (1-3): 229-244 (2017)