共 50 条
- [3] Solving connectivity problems parameterized by treewidth in single exponential time (Extended abstract) 2011 IEEE 52ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2011), 2011, : 150 - 159
- [5] Parameterized and Subexponential-Time Complexity of Satisfiability Problems and Applications COMBINATORIAL OPTIMIZATION AND APPLICATIONS (COCOA 2014), 2014, 8881 : 637 - 651
- [6] Problems Parameterized by Treewidth Tractable in Single Exponential Time: A Logical Approach MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2011, 2011, 6907 : 520 - 531
- [9] Parameterized Complexity of Paired Domination COMBINATORIAL ALGORITHMS, IWOCA 2024, 2024, 14764 : 523 - 536
- [10] On the Parameterized Complexity of Belief Revision PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 3149 - 3155