Algorithmic applications of propositional proof complexity (0)

by A Sabharwal
Venue:University of Washington