Universität zu Köln

Monograph

Heusch, Peter (1995). The Complexity of the Falsifiability Problem for Pure Implicational Formulas. Springer. ['eprint_fieldopt_monograph_type_preprint' not defined].

Heusch, Peter, Meisgen, Frank and Speckenmeyer, Ewald (1997). CATS - Computer Aided Tram Scheduling. ['eprint_fieldopt_monograph_type_preprint' not defined].

Speckenmeyer, Ewald, Böhm, Max and Heusch, Peter (1997). On the Imbalance of Distributions of Solutions of CNF-Formulas and its Impact on Satisfiability Solvers. Providence, RI: American Math. Soc.. ['eprint_fieldopt_monograph_type_preprint' not defined].