Sign In

Login

Password

Forgot Password ? Sign Up

GRASP (SAT solver) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "GRASP (SAT solver)" in English language version.

refsWebsite
Global rank English rank
1psu.edu
207th place
136th place
1doi.org
2nd place
2nd place

doi.org

  • J.P. Marques-Silva; Karem A. Sakallah (November 1996). "GRASP-A New Search Algorithm for Satisfiability". Digest of IEEE International Conference on Computer-Aided Design (ICCAD). pp. 220–227. CiteSeerX 10.1.1.49.2075. doi:10.1109/ICCAD.1996.569607. ISBN 978-0-8186-7597-3.

psu.edu

citeseerx.ist.psu.edu

  • J.P. Marques-Silva; Karem A. Sakallah (November 1996). "GRASP-A New Search Algorithm for Satisfiability". Digest of IEEE International Conference on Computer-Aided Design (ICCAD). pp. 220–227. CiteSeerX 10.1.1.49.2075. doi:10.1109/ICCAD.1996.569607. ISBN 978-0-8186-7597-3.