Samir Sapra, Michael Theobald, Edmund M. Clarke. SAT-Based Algorithms for Logic Minimization. In 21st International Conference on Computer Design (ICCD 2003),VLSI in Computers and Processors, 13-15 October 2003, San Jose, CA, USA, Proceedings. pages 510, IEEE Computer Society, 2003. [doi]
@inproceedings{SapraTC03, title = {SAT-Based Algorithms for Logic Minimization}, author = {Samir Sapra and Michael Theobald and Edmund M. Clarke}, year = {2003}, url = {http://csdl.computer.org/comp/proceedings/iccd/2003/2025/00/20250510abs.htm}, tags = {rule-based, logic}, researchr = {https://researchr.org/publication/SapraTC03}, cites = {0}, citedby = {0}, pages = {510}, booktitle = {21st International Conference on Computer Design (ICCD 2003),VLSI in Computers and Processors, 13-15 October 2003, San Jose, CA, USA, Proceedings}, publisher = {IEEE Computer Society}, isbn = {0-7695-2025-1}, }