DMCA

Proof Checking and Approximation: Towards Tight Results (1996)

by Mihir Bellare
Venue:SIGACT News
Citations:13 - 0 self