Coloured Rippling: An Extension of a Theorem Proving Heuristic.
Tetsuya YoshidaAlan BundyIan GreenToby WalshDavid A. BasinPublished in: ECAI (1994)
Keyphrases
- theorem proving
- first order logic
- decision procedures
- parallel search
- inference rules
- theorem prover
- automated reasoning
- consequence finding
- automated theorem proving
- proof procedure
- automated deduction
- term rewriting
- automatic programming
- combinatorial search
- proof planning
- predicate calculus
- logical inference
- geometry theorem proving
- constraint satisfaction
- search algorithm
- distributed search
- timed automata
- equational theories
- search procedure
- logic programs
- semi supervised
- artificial intelligence