共 50 条
- [2] Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration ISSTA '21: PROCEEDINGS OF THE 30TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2021, : 322 - 335
- [7] A COMPARISON OF ELLIPTIC SOLVERS FOR GENERAL TWO-DIMENSIONAL REGIONS SIAM JOURNAL ON SCIENTIFIC AND STATISTICAL COMPUTING, 1985, 6 (03): : 742 - 760
- [8] A hierarchical technique for minimum-width layout of two-dimensional CMOS cells TENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1997, : 15 - 20
- [9] Two-dimensional range minimum queries COMBINATORIAL PATTERN MATCHING, PROCEEDINGS, 2007, 4580 : 286 - +