How to quickly find a witness.

Daniel Kifer, Johannes Gehrke, Cristian Bucila, Walker M. White

Browse the full PODS paper archive.