BESWAC: Boosting Exact Synthesis via Wiser SAT Solver Call

Published in Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024