Parallel Algorithms for Refutation Tree Problem on Formal Graph Systems.

Tomoyuki Uchida Takayoshi Shoudai Satoru Miyano

Published in: IEICE Trans. Inf. Syst. (1995)

Keyphrases

parallel algorithm
graph structure
tree structure
spanning tree
parallel computation
cluster of workstations
theorem proving