共 50 条
- [22] Fixed-Parameter Tractable Reductions to SAT for Planning PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 2897 - 2903
- [26] Finding Topological Subgraphs is Fixed-Parameter Tractable STOC 11: PROCEEDINGS OF THE 43RD ACM SYMPOSIUM ON THEORY OF COMPUTING, 2011, : 479 - 488
- [29] Learning Deep ReLU Networks Is Fixed-Parameter Tractable 2021 IEEE 62ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2021), 2022, : 696 - 707