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 2007 |
|
|
Porschen, S.
|
|
|
A CNF Formula Hierarchy over the Hypercube
|
|
|
Lecture Notes in Computer Science (LNAI), Vol. 4830, 234-243 (2007)
|
|
|
|
|
|
Porschen, S.
|
|
|
On variable-weighted exact satisfiability problems
|
|
|
Ann. Math. Artif. Intell., Vol. 51, 27 - 54 (2007)
|
|
|
|
|
|
Porschen, S.
|
|
|
Optimal Parameterized Rectangular Coverings
|
|
|
Lecture Notes in Computer Science, Vol. 4705, 96-109 (2007)
|
|
|
|
|
|
Porschen, S.
|
|
|
Structural and computational aspects of restricted Boolean formulas
|
|
|
Habilitationsschrift, Univ. Köln, 2007
|
|
|
|
|
|
Porschen, S., Speckenmeyer, E.
|
|
|
Algorithms for Variable-Weighted 2-SAT and Dual Problems
|
|
|
Lecture Notes in Computer Science, Vol. 4501, 173-186 (2007)
|
|
|
|
|
|
Porschen, S., Speckenmeyer, E.
|
|
|
Satisfiability of mixed Horn formulas
|
|
|
Discrete Appl. Math., Vol. 155, 1408 - 1419 (2007)
|
|
|
|
|
|
Porschen, S.
|
|
|
On generalizations of the shadow independent set problem
|
|
|
Discrete Math., Vol. 37, 1473 - 1485 (2007)
|
|
|
|
|
|
Schön, A.
|
|
|
Optimierung von Stadtbahnfahrplänen - Ein Genetischer Algorithmus sowie Simulation der Optimalfahrpläne unter Einbeziehung des neuen Kölner Nord-Süd-Stadtbahnnetzes
|
|
|
Diplomarbeit, Univ. Köln, 2007
|
|
|
|
|
|
Ullrich, O.
|
|
|
Mehr Pünktlichkeit im ÖPNV: Optimierung und Simulation des Kölner Stadtbahn-Fahrplans
|
|
|
Vortragsreihe Wissenschaft im Rathaus, 25. April 2007
|
|
|
|
|
|
Porschen, S., Speckenmeyer, E.
|
|
|
Clause set structures and satisfiability
|
|
|
Techn. Report zaik2007-532, Univ. Köln, 2007
|
|
|
|
