%0 Conference Paper %1 paper:silva:1996 %A Silva, Jo\ ao P. Marques %A Sakallah, Karem A. %B Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design %C Washington, DC, USA %D 1996 %I IEEE Computer Society %K algorithm satisfaction search %P 220--227 %T GRASP\—a new search algorithm for satisfiability %U http://portal.acm.org/citation.cfm?id=244522.244560

@inproceedings{paper:silva:1996, added-at = {2011-06-27T13:51:04.000+0200}, address = {Washington, DC, USA}, author = {Silva, Jo\ {a}o P. Marques and Sakallah, Karem A.}, biburl = {https://www.bibsonomy.org/bibtex/21267ec3c4b48da564da03cedb388e40b/mschuber}, booktitle = {Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design}, interhash = {5826183be896728b80d2a63cbb363686}, intrahash = {1267ec3c4b48da564da03cedb388e40b}, keywords = {algorithm satisfaction search}, pages = {220--227}, publisher = {IEEE Computer Society}, series = {ICCAD '96}, timestamp = {2011-09-18T08:43:24.000+0200}, title = {GRASP\—a new search algorithm for satisfiability}, url = {http://portal.acm.org/citation.cfm?id=244522.244560}, year = 1996 }