Algorithmica:817–827 DOIs00453On the Exact Complexity of Evaluating Quantified k-CNF Chris Calabro · Russell Impagliazzo · - Calabro - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-10-01 17:40:16		Algorithmica:817–827 DOIs00453On the Exact Complexity of Evaluating Quantified k-CNF Chris Calabro · Russell Impagliazzo · Add to Reading List Source URL: cseweb.ucsd.edu Download Document from Source Website File Size: 431,01 KB Share Document on Facebook