'Core refinement' presentation slideshows

To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scale

To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scale. Hsuan-Po Lin , Jie-Hong Roland Jiang, and Ruei-Rung Lee Graduate Institute of Electronics Engineering / Department of Electrical Engineering, National Taiwan University. 1. Outline. 1. 2. 3. 4. 5. Conclusions.

362 views • 23 slides