共 50 条
- [3] Fixed-Parameter Tractable Reductions to SAT THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, 2014, 8561 : 85 - 102
- [5] Chordal deletion is fixed-parameter tractable Graph-Theoretic Concepts in Computer Science, 2006, 4271 : 37 - 48
- [9] On fixed-parameter tractable parameterizations of SAT THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, 2004, 2919 : 188 - 202