Incremental SAT-based Exact Synthesis

Published in Proceedings of the Great Lakes Symposium on VLSI (GLSVLSI), 2024