Autor der Publikation

The Inverse Satisfiability Problem.

, und . COCOON, Volume 1090 von Lecture Notes in Computer Science, Seite 250-259. Springer, (1996)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Floyd-Warshall Algorithm for Logic Programs., und . J. Log. Program., 41 (1): 129-137 (1999)Complexity characterizations of attribute grammar languages., , und . SCT, Seite 10-13. IEEE Computer Society, (1987)Comparing Trade-off Based Models of the Internet., , , und . Fundam. Informaticae, 92 (4): 363-372 (2009)Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning., , und . LPNMR, Volume 1730 von Lecture Notes in Computer Science, Seite 1-18. Springer, (1999)On the complexity of reconfiguration problems., , , , , , und . Theor. Comput. Sci., 412 (12-14): 1054-1065 (2011)The Web Graph as an Equilibrium., , , , und . SAGT, Volume 9347 von Lecture Notes in Computer Science, Seite 203-215. Springer, (2015)On the Complexity of Reconfiguration Problems., , , , , , und . ISAAC, Volume 5369 von Lecture Notes in Computer Science, Seite 28-39. Springer, (2008)Improved Tradeoff-based Models of the Internet, , , , , , und . Communications of SIWN (System and Information Sciences Notes), 1 (4): 409--414 (Juli 2007)Generating all maximal models of a Boolean expression., , und . Inf. Process. Lett., 74 (3-4): 157-162 (2000)The Bisection Width of Grid Graphs., und . SODA, Seite 405-410. SIAM, (1990)