( en | de | ru )

 

Disambiguierung von "Makino, Kazuhisa"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hypergraph Horn functions.

, , und . CoRR, (2023)

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.

Kazuhisa Kakurai

 

Weitere Publikationen von Autoren mit dem selben Namen

Disjunctions of Horn Theories and Their Cores., , und . ISAAC, Volume 1533 von Lecture Notes in Computer Science, Seite 49-58. Springer, (1998)Boolean Analysis of Incomplete Examples., , und . SWAT, Volume 1097 von Lecture Notes in Computer Science, Seite 440-451. Springer, (1996)Randomized Algorithms for Removable Online Knapsack Problems., , und . FAW-AAIM, Volume 7924 von Lecture Notes in Computer Science, Seite 60-71. Springer, (2013)On Disguised Double Horn Functions and Extensions., , und . STACS, Volume 1373 von Lecture Notes in Computer Science, Seite 50-60. Springer, (1998)On the Complexity of Generating Maximal Frequent and Minimal Infrequent Sets., , , und . STACS, Volume 2285 von Lecture Notes in Computer Science, Seite 133-141. Springer, (2002)Fully Consistent Extensions of Partially Defined Boolean Functions with Missing Bits., , und . IFIP TCS, Volume 1872 von Lecture Notes in Computer Science, Seite 257-272. Springer, (2000)Deterministic Random Walks on Finite Graphs., , und . ANALCO, Seite 16-25. SIAM, (2012)Approximating minimum representations of key Horn functions., , , , und . CoRR, (2018)Generating clause sequences of a CNF formula., , , , , und . CoRR, (2020)On the Boolean Connectivity Problem for Horn Relations., , und . SAT, Volume 4501 von Lecture Notes in Computer Science, Seite 187-200. Springer, (2007)