Keyword : formal graph system


Parallel Algorithms for Refutation Tree Problem on Formal Graph Systems
Tomoyuki UCHIDA Takayoshi SHOUDAI Satoru MIYANO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/02/25
Vol. E78-D  No. 2 ; pp. 99-112
Type of Manuscript:  PAPER
Category: Algorithm and Computational Complexity
Keyword: 
algorithm and computational complexityformal graph systemrefutation treetwo-terminal series parallel graphouterplanar graph
 Summary | Full Text:PDF(1MB)