Lammich, Peter Efficient verified implementation of introsort and pdqsort. (English) Zbl 07614678 Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 307-323 (2020). MSC: 68V15 PDFBibTeX XMLCite \textit{P. Lammich}, Lect. Notes Comput. Sci. 12167, 307--323 (2020; Zbl 07614678) Full Text: DOI
Lange, Kenneth Algorithms from THE BOOK. (English) Zbl 1464.00003 Other Titles in Applied Mathematics 168. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-61197-616-8/pbk; 978-1-61197-617-5/ebook). xi, 214 p. (2020). Reviewer: Martin D. Buhmann (Gießen) MSC: 00A09 65-04 05-04 92-04 PDFBibTeX XMLCite \textit{K. Lange}, Algorithms from THE BOOK. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (2020; Zbl 1464.00003) Full Text: DOI
Volz, Marcus; Brazil, Marcus; Ras, Charl; Thomas, Doreen Computing skeletons for rectilinearly convex obstacles in the rectilinear plane. (English) Zbl 1442.90035 J. Optim. Theory Appl. 186, No. 1, 102-133 (2020). MSC: 90B10 52B05 68U05 PDFBibTeX XMLCite \textit{M. Volz} et al., J. Optim. Theory Appl. 186, No. 1, 102--133 (2020; Zbl 1442.90035) Full Text: DOI arXiv
Edelkamp, Stefan; Weiß, Armin; Wild, Sebastian QuickXsort: a fast sorting scheme in theory and practice. (English) Zbl 1447.68003 Algorithmica 82, No. 3, 509-588 (2020). Reviewer: Ernst-Erich Doberkat (Dortmund) MSC: 68P10 68W40 PDFBibTeX XMLCite \textit{S. Edelkamp} et al., Algorithmica 82, No. 3, 509--588 (2020; Zbl 1447.68003) Full Text: DOI arXiv