BESWAC: Boosting Exact Synthesis via Wiser SAT Solver Call.

Sunan Zou, Jiaxi Zhang, Bizhao Shi, Guojie Luo

Browse the full DATE paper archive.