共 50 条
- [3] A Parametric Polynomial Deterministic Algorithm for #2SAT ADVANCES IN ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, MICAI 2015, PT I, 2015, 9413 : 202 - 213
- [7] Efficient Polynomial-Time Approximation Scheme for the Genus of Dense Graphs 2018 IEEE 59TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), 2018, : 719 - 730