共 50 条
- [41] A New Method for Computing Suitable Tree-decompositions with respect to Structured CSP Solving 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, 2008, : 491 - 495
- [45] THE MONADIC 2ND-ORDER LOGIC OF GRAPHS .3. TREE-DECOMPOSITIONS, MINORS AND COMPLEXITY ISSUES RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1992, 26 (03): : 257 - 286
- [47] On the minimum size of a contraction-universal tree GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 2002, 2573 : 25 - 34
- [49] Definable tree decompositions TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2008, : 406 - 417