A Parallel Theorem Prover with Heuristic Work Distribution.
Christian B. SuttnerPublished in: Dagstuhl Seminar on Parallelization in Inference Systems (1990)
Keyphrases
- theorem prover
- theorem proving
- automated reasoning
- first order logic
- automated theorem proving
- formal proof
- computer algebra
- inference rules
- higher order logic
- parallel implementation
- term rewriting
- natural deduction
- proof planning
- probability distribution
- boolean algebra
- parallel processing
- tabu search
- parallel genetic algorithm
- formal semantics
- dynamic programming
- proof search
- timed automata
- parallel computing
- data mining
- search procedure
- random variables
- search algorithm
- artificial intelligence