the open
    research
    Contribute
    Back to the reading lists

    Classic AI: search, logic & planning· 1992

    Planning as Satisfiability

    Henry A. Kautz (first author) · 1992

    Read the original

    OpenAlex W1667362966

    On the reading lists

    Why it matters

    Recast planning as propositional satisfiability, connecting two major AI research areas.

    Condensed from the expert lists' notes.

    The record

    First released
    1992 (from OpenAlex)
    Citations
    1,204 citations, as counted by Semantic Scholar logoSemantic Scholar (non-commercial licence)
    Named by
    both expert lists
    Score
    0.284 · computed rank 645 · consensus 0.26, must-read 0.5, citations percentile 0.444 (1990s · 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.