Denali: A Goal-directed Superoptimizer Rajeev Joshi Greg Nelson ∗

First Page		Document Content
Date: 2010-09-11 18:26:03 Theoretical computer science Logic Mathematical logic Formal methods Boolean algebra NP-complete problems Logic in computer science Propositional calculus Algorithm Boolean satisfiability problem NP Modal logic		Denali: A Goal-directed Superoptimizer Rajeev Joshi Greg Nelson ∗ Add to Reading List Source URL: rjoshi.org Download Document from Source Website File Size: 127,11 KB Share Document on Facebook

	Lecture 19, Thurs March 30: RSA and Shor’s Algorithm Today we’ll see Shor’s algorithm. Given a positive integer N, which we’ll assume for simplicity is a product of two primes \|and , this algorithm lets DocID: 1xVSj - View Document
	IEEE TRANSACTIONS ON COMPUTERS, VOL. ??, NO. ??, ??? A New Range-Reduction Algorithm N. Brisebarre, D. Defour, P. Kornerup, J.-M Muller and N. Revol DocID: 1xVRx - View Document
	Lecture 22, Tues April 11: Grover The next quantum algorithm we’ll cover is… Grover’s Algorithm which was discovered in 1995, shortly after Shor’s algorithm. Both Grover and Shor were working at Bell Labs at the DocID: 1xVQ3 - View Document
	Lecture 23, Thurs April 13: BBBV, Applications of Grover It’s great that we can get a quadratic speedup with Grover’s algorithm, but we were able to get an exponential speedup with Shor’s algorithm… So why can DocID: 1xVKf - View Document
	MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXAN L(1/3) ALGORITHM FOR IDEAL CLASS GROUP AND REGULATOR COMPUTATION IN CERTAIN NUMBER FIELDS DocID: 1xVGU - View Document