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 2006 |
|
|
Porschen, S., Speckenmeyer, E.
|
|
|
NP-completeness for Restricted Linear Formula Classes
|
|
|
Proc. Guangzhou
Symposium on Satisfiability in Logical-Based Modeling
Tech. Report Sun Yat-sen University, pp. 111-123, Guangzhou, China, 2006
|
|
|
|
|
|
Lückemeyer, G., Speckenmeyer, E.
|
|
|
Comparing Applicability of Two Simulation Models, in Public Transport Simulation
|
|
|
Proc. 19. Symposium Simulationstechnik, Hannover,
SCS Publishing House, San Diego, pp. 9-14, 2006
|
|
|
|
|
|
Porschen, S.
|
|
|
On variable-weighted exact satisfiability problems
|
|
|
Techn. Report zaik2006-526, Univ. Köln, 2006
|
|
|
|
|
|
Porschen, S, Speckenmeyer, E.
|
|
|
Linear CNF formulas and satisfiability
|
|
|
Techn. Report zaik2006-520, Univ. Köln, 2006
|
|
|
|
|
|
Plagge, G.
|
|
|
Über Variablen-Gewichtete X3SAT Optimierungsprobleme
|
|
|
Diplomarbeit, Univ. Köln, 2006
|
|
|
|
|
|
Porschen, S., Speckenmeyer, E., Randerath, B.
|
|
|
On Linear CNF Formulas
|
|
|
Lecture Notes in Computer Science, Vol. 4121, 212 - 225 (2006)
|
|
|
|
|
|
Ullrich, O.
|
|
|
CATSview - Eine Benutzerschnittstelle zur Steuerung,
Visualisierung und Ergebnisauswertung von Fahrplansimulationen im
Öffentlichen Personennahverkehr
|
|
|
Diplomarbeit, Univ. Köln, 2006
|
|
|
|
|
|
Porschen, S.
|
|
|
Counting All Solutions of Minimum Weight Exact Satisfiability
|
|
|
Lecture Notes in Computer Science, Vol. 3998, 50-59 (2006)
|
|
|
|
|
|
Porschen, S.
|
|
|
Algorithms for Rectangular Covering Problems
|
|
|
Lecture Notes in Computer Science, Vol. 3980, 40-49 (2006)
|
|
|
|
