Searching for authors named "Peter Heusch" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
The Complexity of the Falsifiability Problem for Pure Implicational Formulas
- … for Pure Implicational Formulas Peter Heusch 1 Abstract Since it is unlikely that any NP…
- Cited by 4 (1 self) – Add To MetaCart
-
Complexity Results of Subclasses of the Pure Implicational Calculus
- …Complexity Results of Subclasses of the Pure Implicational Calculus Peter Heusch Marc…
- Add To MetaCart
-
CATS - Computer Aided Tram Scheduling
- … Tram Scheduling by Peter Heusch Frank Meisgen Ewald Speckenmeyer 1997 To appear in: Proceedings of SOR…
- Add To MetaCart
-
On the Imbalance of Distributions of Solutions of CNF-Formulas and its Impact on Satisfiability Solvers
- … Bohm, Peter Heusch 1996 submitted to AMS/DIMACS series Universitat zu Koln Institut fur Informatik…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 4.
