the open
    research
    Contribute
    Back to the reading lists

    Classic AI: search, logic & planning· 1960

    A Computing Procedure for Quantification Theory

    Martin Davis (first author) · 1960

    Read the original

    DOI 10.1145/321033.321034OpenAlex W2062897452

    On the reading lists

    Why it matters

    Introduced Davis–Putnam reasoning techniques central to satisfiability solving.

    Condensed from the expert lists' notes.

    The record

    First released
    1960 (from OpenAlex)
    Citations
    3,095 citations, as counted by Semantic Scholar logoSemantic Scholar (non-commercial licence)
    Named by
    both expert lists
    Score
    0.429 · computed rank 320 · consensus 0.7, must-read 0, citations percentile 0.625 (pre-1970 · classic-ai), awards 0, existing lists 0. Method

    Data sources

    Catalogue data from OpenAlex (CC0), Crossref (CC0 metadata; no abstracts are shown), arXiv, and Papers With Code (CC BY-SA 4.0), and Semantic Scholar logoSemantic Scholar (used under its non-commercial API licence). Each count names its source. See the method.