Login / Signup

A Constant Time Algorithm for Theorem Proving in Propositional Logic on Reconfigurable Meshes.

B. PradeepC. Siva Ram Murthy
Published in: Inf. Sci. (1995)
Keyphrases
  • theorem proving
  • propositional logic
  • first order logic
  • parallel search
  • data mining
  • expert systems
  • search space
  • np hard
  • automated reasoning
  • proof planning