the open
    research
    Contribute
    Back to the reading lists

    Classic AI: search, logic & planning· 1992

    A New Method for Solving Hard Satisfiability Problems

    1992

    Read the original

    OpenAlex W1667614912

    On the reading lists

    The record

    First released
    1992 (from OpenAlex)
    Citations
    1,183 citations, as counted by OpenAlex (CC0)
    Awards
    AAAI Classic Paper
    Named by
    the chatgpt list only
    Score
    0.289 · computed rank 631 · consensus 0.075, must-read 0, citations percentile 0.333 (1990s · classic-ai), awards 1, 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). Each count names its source. See the method.