APA (7th ed.) Citation

Marques Silva, J., & Sakallah, K. (1996). GRASP-A new search algorithm for satisfiability. ICCAD-96: Digest of Technical Papers, 220-227. https://doi.org/10.1109/ICCAD.1996.569607

Chicago Style (17th ed.) Citation

Marques Silva, J.P., and K.A Sakallah. "GRASP-A New Search Algorithm for Satisfiability." ICCAD-96: Digest of Technical Papers 1996: 220-227. https://doi.org/10.1109/ICCAD.1996.569607.

MLA (9th ed.) Citation

Marques Silva, J.P., and K.A Sakallah. "GRASP-A New Search Algorithm for Satisfiability." ICCAD-96: Digest of Technical Papers, 1996, pp. 220-227, https://doi.org/10.1109/ICCAD.1996.569607.