共 50 条
- [31] Linear-time counting algorithms for independent sets in chordal graphs GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 2005, 3787 : 433 - 444
- [36] Faster algorithms for quantitative verification in bounded treewidth graphs Formal Methods in System Design, 2021, 57 : 401 - 428
- [37] Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs COMPUTER AIDED VERIFICATION, PT I, 2015, 9206 : 140 - 157