Parallel Closure-Based Automated Reasoning.

Ewing L. Lusk William McCune John K. Slaney

Published in: Dagstuhl Seminar on Parallelization in Inference Systems (1990)

Keyphrases

automated reasoning
reasoning systems
theorem proving
knowledge representation
reasoning tasks
probabilistic reasoning
decision procedures
theorem prover
knowledge representation and reasoning
automated verification
first order logic
constraint satisfaction
propositional satisfiability
shared memory