Computer science/Algorithms/Approximation

Subject Classification

ACM: Theory of computation~Approximation algorithms analysis

AMS: Computer science / Algorithms in computer science / Approximation algorithms

2024

Approximate Model Counting

by Yong Kiam Tan and Jiong Yang

Mar 15

2023

Distributed Distinct Elements

by Emin Karayel

Apr 03

2022

Formalization of Randomized Approximation Algorithms for Frequency Moments

by Emin Karayel

Apr 08

2020

Verified Approximation Algorithms

by Robin Eßmann, Tobias Nipkow, Simon Robillard and Ujkan Sulejmani

Jan 16