# Items where Subject is "68-XX Computer science > 68Txx Artificial intelligence > 68T15 Theorem proving (deduction, resolution, etc.)"

Up a level |

- MSC Classification Numbers (3)
- 68-XX Computer science (3)
- 68Txx Artificial intelligence (3)
**68T15 Theorem proving (deduction, resolution, etc.)**(3)

- 68Txx Artificial intelligence (3)

- 68-XX Computer science (3)

**3**.

## Article

Böhm, Max and Speckenmeyer, Ewald
(1996)
*A Fast Parallel SAT-Solver - Efficient Workload Balancing.*
**Published in: **
Annals of Mathematics and Artificial Intelligence Vol. 17 (2).
pp. 381-400.

Heusch, Peter
(1999)
*The Complexity of the Falsifiability Problem for Pure Implicational Formulas.*
**Published in: **
Discrete Applied Mathematics Vol. 96-97.
pp. 127-138.

## Proceedings article

Heusch, Peter
(1995)
*The Complexity of the Falsifiability Problem for Pure Implicational Formulas.*
**Published In:**
Mathematical foundations of computer science 1995 : 20th international symposium ; proceedings, Lecture notes in computer science. 969 Springer 1995, pp. 221-226.