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

	A proof of Minkowski’s second theorem Matthew Tointon Minkowski’s second theorem is a fundamental result from the geometry of numbers with important applications in additive combinatorics (see, for example, its appli DocID: 1xVE5 - View Document
	Challenges with Assessing the Impact of NFS Advances on the Security of Pairing-based Cryptography Alfred Menezes1 , Palash Sarkar2 , and Shashank Singh3 1 Department of Combinatorics & Optimization, University of Water DocID: 1xTm4 - View Document
	C OLLOQUIUM ON C OMBINATORICS — 24/25 N OVEMBER 2017 D ISCRETE M ATHEMATICS — PADERBORN U NIVERSITY Dear combinatorialists, the Colloquium on Combinatorics was established in 1981 and has since been held annually in DocID: 1vs4l - View Document
	Combinatorics of Sets Po-Shen Loh June DocID: 1vrUN - View Document
	UNDERGRADUATE SEMINAR IN COMBINATORICS Michael Krivelevich Spring Semester 2014 Course number: When and where: Tuesdays 10-12, Kaplun 324. Prospective audience: the seminar is intended for third year undergradu DocID: 1vrJ6 - View Document