Publications | Computer Science, Lehrstuhl Speckenmeyer

Talks
	Colloquium (German)
	Workshop on Parallel Computing

Research Projects
	Public Transport Scheduling
	Satisfiability

Publications

Please choose a year

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



Complete list of publications



Publications of the year 1979

Monien, B., Speckenmeyer, E.

3-Satisfiability is Testable in O(1,62^r) Steps

1979, Universität-GH Paderborn, Reihe Informatik, Bericht Nr. 3 (1979)