共 27 条
[1]
More Applications of the d-Neighbor Equivalence: Connectivity and Acyclicity Constraints
[J].
27TH ANNUAL EUROPEAN SYMPOSIUM ON ALGORITHMS (ESA 2019),
2019, 144
[3]
Steiner Trees for Hereditary Graph Classes
[J].
LATIN 2020: THEORETICAL INFORMATICS,
2020, 12118
:613-624
[5]
Understanding Model Counting for β-acyclic CNF-formulas
[J].
32ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2015),
2015, 30
:143-156
[8]
Chuzhoy J., 2015, P 26 ANN ACM SIAM S, P256, DOI [10.1137/1.9781611973730.20, DOI 10.1137/1.9781611973730.20]
[10]
Dabrowski KK, 2019, LOND MATH S, V456, P1