Heuristic Certificates via Approximations.

Shlomi Dolev, Marina Sadetsky

Browse the full PDCAT paper archive.