SAT Based Exact Synthesis using DAG Topology Families

Haaswijk, Winston JasonMishchenko, AlainSoeken, MathiasDe Micheli, Giovanni2018-06-082018-06-082018-06-082018-06-2810.1109/DAC.2018.8465888https://infoscience.epfl.ch/handle/20.500.14299/146771SAT Based Exact Synthesis using DAG Topology Familiestext::conference output::conference proceedings::conference paper