%0 Conference Paper %1 conf/ices/Estrada03 %A Estrada, Giovani Gomez %B ICES %D 2003 %E Tyrrell, Andrew M. %E Haddow, Pauline C. %E Tørresen, Jim %I Springer %K dblp %P 410-421 %T A Note on Designing Logical Circuits Using SAT. %U http://dblp.uni-trier.de/db/conf/ices/ices2003.html#Estrada03 %V 2606 %@ 3-540-00730-X

@inproceedings{conf/ices/Estrada03, added-at = {2017-05-17T00:00:00.000+0200}, author = {Estrada, Giovani Gomez}, biburl = {https://www.bibsonomy.org/bibtex/22fad988ed85cfe1d80a83cb7ecff8c03/dblp}, booktitle = {ICES}, crossref = {conf/ices/2003}, editor = {Tyrrell, Andrew M. and Haddow, Pauline C. and Tørresen, Jim}, ee = {https://doi.org/10.1007/3-540-36553-2_37}, interhash = {3ed6a1dd8280c16eb97b4eb4eb054df0}, intrahash = {2fad988ed85cfe1d80a83cb7ecff8c03}, isbn = {3-540-00730-X}, keywords = {dblp}, pages = {410-421}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:27:53.000+0200}, title = {A Note on Designing Logical Circuits Using SAT.}, url = {http://dblp.uni-trier.de/db/conf/ices/ices2003.html#Estrada03}, volume = 2606, year = 2003 }