共 50 条
- [32] Upper bounds on the coalition number AUSTRALASIAN JOURNAL OF COMBINATORICS, 2021, 80 : 442 - 453
- [38] Improved Upper Bounds on the Crossing Number PROCEEDINGS OF THE TWENTY-FOURTH ANNUAL SYMPOSIUM ON COMPUTATIONAL GEOMETRY (SGG'08), 2008, : 375 - 384
- [40] Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points Journal of Automated Reasoning, 2019, 62 : 301 - 329