MuSTNet: SAT-based Exact Multi-Stage Transistor Network Synthesis with Placement Awareness.

Jiun-Cheng Tsai, Wei-Min Hsu, Kuei-Lin Wu, Hsuan-Ming Huang, Jen-Hang Yang, Heng-Liang Huang, Yen-Ju Su, Charles H.-P. Wen

Browse the full ICCAD paper archive.