@misc{W2044560939,
  author = {João Marques‐Silva and Karem A. Sakallah},
  title = {GRASP: a search algorithm for propositional satisfiability},
  year = {1999},
  howpublished = {IEEE Transactions on Computers},
  doi = {https://doi.org/10.1109/12.769433}
}