SAT-Based Exact Synthesis for Multi-Level Logic Networks
2019-05-31 17:00 | BC 420 https://plan.epfl.ch/?room==BC%20420
Winston Jason HAASWIJK
Thesis Directors: Prof. G. De Micheli , Dr. M. Soeken
Computer and Communication Sciences doctoral program
Thesis Nr. 9404
