Login / Signup
p-SETHEO: Strategy Parallelism in Automated Theorem Proving.
Andreas Wolf
Published in:
TABLEAUX (1998)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
parallel processing
expert systems
fixed point
artificial intelligence
fuzzy sets
search strategy
fine grain