Login / Signup
Splitting and Reduction Heuristics in Automatic Theorem Proving.
W. W. Bledsoe
Published in:
Artif. Intell. (1971)
Keyphrases
</>
automatic theorem proving
search algorithm
greedy heuristics
attribute reduction
reduction method
databases
search engine
computer vision
image sequences
rough sets
optimization problems
heuristic search
domain independent
search methods
admissible heuristics