( 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

Isao Miki

Masayuki Miki

 

Weitere Publikationen von Autoren mit dem selben Namen

Complexity of Counting the Optimal Solutions., und . Electron. Colloquium Comput. Complex., (2008)Counting complexity of propositional abduction., und . J. Comput. Syst. Sci., 76 (7): 634-649 (2010)Complexity of Clausal Constraints Over Chains., , , und . Theory Comput. Syst., 42 (2): 239-255 (2008)Trichotomies in the Complexity of Minimal Inference., , und . Theory Comput. Syst., 50 (3): 446-491 (2012)The Helly property and satisfiability of Boolean formulas defined on set families., , , und . Eur. J. Comb., 31 (2): 502-516 (2010)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)Subtractive reductions and complete problems for counting complexity classes., , und . Theor. Comput. Sci., 340 (3): 496-513 (2005)On Proving Properties of Completion Strategies.. RTA, Volume 488 von Lecture Notes in Computer Science, Seite 398-410. Springer, (1991)Counting Partitions of Graphs., , und . ISAAC, Volume 7676 von Lecture Notes in Computer Science, Seite 227-236. Springer, (2012)