@article{marquessilva1999grasp,
   author = {Marques-Silva, {J\~oao} and Sakallah, Karem A.},
   title = {{GRASP: A Search Algorithm for Propositional Satisfiability}},
   journal = {IEEE Transactions on Computers},
   volume = {48},
   number = {5},
   pages = {506-521},
   month = {May},
   year = {1999}
}

{"_id":"XSodGZwuMpJQZRBox","bibbaseid":"marquessilva-sakallah-graspasearchalgorithmforpropositionalsatisfiability-1999","author_short":["Marques-Silva, J.","Sakallah, K. A."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Marques-Silva"],"firstnames":["Jõao"],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem","A."],"suffixes":[]}],"title":"GRASP: A Search Algorithm for Propositional Satisfiability","journal":"IEEE Transactions on Computers","volume":"48","number":"5","pages":"506-521","month":"May","year":"1999","bibtex":"@article{marquessilva1999grasp,\n author = {Marques-Silva, {J\\~oao} and Sakallah, Karem A.},\n title = {{GRASP: A Search Algorithm for Propositional Satisfiability}},\n journal = {IEEE Transactions on Computers},\n volume = {48},\n number = {5},\n pages = {506-521},\n month = {May},\n year = {1999}\n}\n\n","author_short":["Marques-Silva, J.","Sakallah, K. A."],"key":"marquessilva1999grasp","id":"marquessilva1999grasp","bibbaseid":"marquessilva-sakallah-graspasearchalgorithmforpropositionalsatisfiability-1999","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://web.eecs.umich.edu/~karem/publications/Sakallah-Publications.bib","dataSources":["dAWPbXiJP4ihEN4GZ"],"keywords":[],"search_terms":["grasp","search","algorithm","propositional","satisfiability","marques-silva","sakallah"],"title":"GRASP: A Search Algorithm for Propositional Satisfiability","year":1999}