Certifying certainty and uncertainty in approximate membership query structures
From MaRDI portal
Publication:2226742
DOI10.1007/978-3-030-53291-8_16zbMath1478.68160arXiv2004.13312MaRDI QIDQ2226742
Publication date: 9 February 2021
Full work available at URL: https://arxiv.org/abs/2004.13312
68Q60: Specification and verification (program logics, model checking, etc.)
68P05: Data structures
68W20: Randomized algorithms
68V20: Formalization of mathematics in connection with theorem provers
Uses Software