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