Bounding Laconic Proof Systems by Solving CSPs in Parallel.

Jason Li, Ryan O'Donnell

Browse the full SPAA paper archive.