Completeness in the Polynomial-Time Hierarchy A Compendium∗ Marcus Schaefer

First Page		Document Content
Date: 2008-10-05 12:49:10 Boolean algebra Logic in computer science NP-complete problems Combinatorics Boolean satisfiability problem Electronic design automation Conjunctive normal form Partition True quantified Boolean formula Theoretical computer science Mathematics Computational complexity theory		Completeness in the Polynomial-Time Hierarchy A Compendium∗ Marcus Schaefer Add to Reading List Source URL: ovid.cs.depaul.edu Download Document from Source Website File Size: 285,08 KB Share Document on Facebook

	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry DocID: 1qnVV - View Document
	The Complexity of Computing the Solution Obtained by a Specific Algorithm Paul W. Goldberg Department of Computer Science University of Oxford, U. K. DocID: 1q2Cn - View Document
	Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract DocID: 1pPHH - View Document
	Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2 DocID: 1pF7O - View Document
	Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract DocID: 1pv9j - View Document