( en | de | ru )

 

Disambiguierung von "Hermann, Miki"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics.

, , , und . ISMVL, Seite 100-105. IEEE Computer Society, (2008)

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.

Miki Tsukada

ivko Miki

Nicole Mikisch

Masayuki Miki

Isao Miki

 

Weitere Publikationen von Autoren mit dem selben Namen

Counting complexity of propositional abduction., und . J. Comput. Syst. Sci., 76 (7): 634-649 (2010)The Helly property and satisfiability of Boolean formulas defined on set families., , , und . Eur. J. Comb., 31 (2): 502-516 (2010)Trichotomies in the Complexity of Minimal Inference., , und . Theory Comput. Syst., 50 (3): 446-491 (2012)Complexity of Counting the Optimal Solutions., und . Electron. Colloquium Comput. Complex., (2008)Complexity of Clausal Constraints Over Chains., , , und . Theory Comput. Syst., 42 (2): 239-255 (2008)Chain Properties of Rule Closures.. STACS, Volume 349 von Lecture Notes in Computer Science, Seite 339-347. Springer, (1989)On Nontermination of Knuth-Bendix Algorithm., und . ICALP, Volume 226 von Lecture Notes in Computer Science, Seite 146-156. Springer, (1986)On the Complexity of Recognizing the Hilbert Basis of a Linear Diophantine System., , und . MFCS, Volume 1672 von Lecture Notes in Computer Science, Seite 92-102. Springer, (1999)Subtractive Reductions and Complete Problems for Counting Complexity Classes., , und . MFCS, Volume 1893 von Lecture Notes in Computer Science, Seite 323-332. Springer, (2000)Computational Complexity of Simultaneous Elementary Matching Problems (Extended Abstract)., und . MFCS, Volume 969 von Lecture Notes in Computer Science, Seite 359-370. Springer, (1995)