Slawomir Pilarski, Gracia Hu. Speeding up SAT for EDA. In 2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France. pages 1081, IEEE Computer Society, 2002. [doi]
@inproceedings{PilarskiH02:0, title = {Speeding up SAT for EDA}, author = {Slawomir Pilarski and Gracia Hu}, year = {2002}, url = {http://csdl.computer.org/comp/proceedings/date/2002/1471/00/14711081abs.htm}, researchr = {https://researchr.org/publication/PilarskiH02%3A0}, cites = {0}, citedby = {0}, pages = {1081}, booktitle = {2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France}, publisher = {IEEE Computer Society}, isbn = {0-7695-1471-5}, }