%0 Conference Paper %1 conf/iccad/SilvaS96 %A Silva, João P. Marques %A Sakallah, Karem A. %B ICCAD %D 1996 %E Rutenbar, Rob A. %E Otten, Ralph H. J. M. %I IEEE Computer Society / ACM %K dblp %P 220-227 %T GRASP - a new search algorithm for satisfiability. %U http://dblp.uni-trier.de/db/conf/iccad/iccad1996.html#SilvaS96 %@ 0-8186-7597-7

@inproceedings{conf/iccad/SilvaS96, added-at = {2023-03-24T00:00:00.000+0100}, author = {Silva, João P. Marques and Sakallah, Karem A.}, biburl = {https://www.bibsonomy.org/bibtex/2196ed1f63d539c05931555ba15d6e635/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/1996}, editor = {Rutenbar, Rob A. and Otten, Ralph H. J. M.}, ee = {https://www.wikidata.org/entity/Q59487089}, interhash = {5826183be896728b80d2a63cbb363686}, intrahash = {196ed1f63d539c05931555ba15d6e635}, isbn = {0-8186-7597-7}, keywords = {dblp}, pages = {220-227}, publisher = {IEEE Computer Society / ACM}, timestamp = {2024-04-10T20:50:01.000+0200}, title = {GRASP - a new search algorithm for satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad1996.html#SilvaS96}, year = 1996 }