%0 Thesis %1 phd/ch/Haaswijk19 %A Haaswijk, Winston Jason %D 2019 %K dblp %T SAT-Based Exact Synthesis for Multi-Level Logic Networks.

@phdthesis{phd/ch/Haaswijk19, added-at = {2022-07-29T00:00:00.000+0200}, author = {Haaswijk, Winston Jason}, biburl = {https://www.bibsonomy.org/bibtex/2b0c15698640d47a84d30a8bee738276d/dblp}, ee = {https://infoscience.epfl.ch/record/265867}, interhash = {d6ebe64310043902be5fa7866fc51258}, intrahash = {b0c15698640d47a84d30a8bee738276d}, keywords = {dblp}, school = {EPFL, Switzerland}, timestamp = {2024-04-09T08:01:20.000+0200}, title = {SAT-Based Exact Synthesis for Multi-Level Logic Networks.}, year = 2019 }