Quantum Circuits Seminar:
 THE BDS CIRCUIT SYNTHESIS PROGRAM

 Aditya Prasad and Vivek Shende
 Wed Jul 18 at 3:30pm
 EECS 2120

In the spirit of last week's talk, today we will examine the BDS system for
classical circuit optimization. We will begin by covering relevant background
material - in particular, what "don't cares" are, how they complicate
circuit synthesis and why quantum computers might alleviate some of the problems
they create. We will then proceed to briefly examine how and why BDS functions. 
The remainder of the talk will consist of looking at the operation of BDS
itself: what sort of input and output it takes, and the empirical data: 
how fast is BDS and how optimal are the circuits it produces.