共 50 条
- [2] Verification of Closest Pair of Points Algorithms AUTOMATED REASONING, PT II, 2020, 12167 : 341 - 357
- [5] Parameterized and Approximation Algorithms for Coverings Points with Segments in the Plane 41ST INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, STACS 2024, 2024, 289
- [10] Computing the arrangement of curve segments: Divide-and-conquer algorithms via sampling PROCEEDINGS OF THE ELEVENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2000, : 705 - 706