SAT-Based Exact Synthesis for Multi-Level Logic Networks. - Winston Jason Haaswijk (2019)