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