共 50 条
- [32] Deterministic Single Exponential Time Algorithms for Connectivity Problems Parameterized by Treewidth AUTOMATA, LANGUAGES, AND PROGRAMMING, PT I, 2013, 7965 : 196 - 207
- [33] Problems Parameterized by Treewidth Tractable in Single Exponential Time: A Logical Approach MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2011, 2011, 6907 : 520 - 531
- [37] An Improved Parameterized Algorithm for Treewidth PROCEEDINGS OF THE 55TH ANNUAL ACM SYMPOSIUM ON THEORY OF COMPUTING, STOC 2023, 2023, : 528 - 541
- [38] On the parameterized complexity of exact satisfiability problems MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2005, PROCEEDINGS, 2005, 3618 : 568 - 579