Publikationen
|
 |
|
Bitte wählen Sie ein Jahr aus
|
|
| 2007 | 2006 | 2005 | 2004 | 2003 |
|
| 2002 | 2001 | 2000 | 1999 | 1998 |
|
| 1997 | 1996 | 1995 | 1994 | 1993 |
|
| 1992 | 1991 | 1990 | 1989 | 1988 |
|
| 1987 | 1986 | 1985 | 1984 | 1983 |
|
| 1982 | 1980 | 1979 | | |
|
|
|
| Liste aller Publikationen |
|
|
|
| Publikationen des Jahres 2005 |
|
|
Lückemeyer, G.
|
|
|
A Traffic Simulation System Increasing the Efficiency of Schedule Design for Public Transport Systems Based on Scarce Data
|
|
|
2005, Universität zu Köln, Doktorarbeit (2005)
|
|
|
|
|
|
Porschen, S.
|
|
|
Solving Minimum Weight Exact Satisfiability in Time O(20.2441n)
|
|
|
Lecture Notes in Computer Science, Vol. 3827, 654-664 (2005)
|
|
|
|
|
|
Achter, V.
|
|
|
Radial Level Planarity in a Propositional Logic Framework
|
|
|
2005, Universität zu Köln, Diplomarbeit (2005)
|
|
|
|
|
|
Porschen, S.
|
|
|
A New Parameterization of the Shadow Problem
|
|
|
Technical Report: zaik2005-501, Universität zu Köln (2005)
|
|
|
|
|
|
Porschen, S.
|
|
|
Counting All Solutions of Minimum Weight Exact Satisfiability
|
|
|
Technical Report: zaik2005-500, Universität zu Köln (2005)
|
|
|
|
|
|
Porschen, S., Speckenmeyer, E.
|
|
|
Satisfiability of Mixed Horn Formulas
|
|
|
Technical Report: zaik2005-499, Universität zu Köln (2005)
|
|
|
|
|
|
Porschen, S., Speckenmeyer, E.
|
|
|
Worst Case Bounds for Some NP-Complete Modified Horn-SAT Problems
|
|
|
Lecture Notes in Computer Science, Vol. 3542, 251-262 (2005)
|
|
|
|
|
|
Porschen, S.
|
|
|
On the Rectangular Subset Closure of Point Sets
|
|
|
Lecture Notes in Computer Science, Vol. 3480, 796-805 (2005)
|
|
|
|
|
|
Porschen, S.
|
|
|
On Some Weighted Satisfiability and Graph Problems
|
|
|
Lecture Notes in Computer Science, Vol. 3381, 278-287 (2005)
|
|
|
|
|
|
Porschen, S., Randerath, B., Speckenmeyer, E.
|
|
|
Exact Satisfiability is Decidable in Time O(20.16254n)
|
|
|
Annals of Mathematics and Artifical Intelligence, Vol. 43(1-4), 173-193 (2005)
|
|
|
|
|
|
Randerath, B., Vestergaard, P. D.
|
|
|
Well-Covered Graphs and Factors
|
|
|
accepted for publication in Discrete Applied Mathematics (2005)
|
|
|
|
|
|
Randerath, B.
|
|
|
Domination Cookies
|
|
|
Sonderband zum Ersten Aachener Tag der Graphentheorie, Shaker Verlag (2005)
|
|
|
|
