Query evaluation via tree-decompositions 论文

2002Journal of the ACM引用 219
DOI
Advanced Graph Theory ResearchFormal Methods in VerificationComplexity and Algorithms in Graphs
Advanced Graph Theory ResearchFormal Methods in VerificationComplexity and Algorithms in Graphs
相关技术:Complexity and Algorithms in GraphsFormal Methods in Verification
关系图谱

Query evaluation via tree-decompositions · 相关技术

相关技术

Complexity and Algorithms in GraphsFormal Methods in Verification