 | Up a level |
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].