Resolutions

Resolution is a rule of inference in propositional logic and logic programming that facilitates the derivation of a new clause from a set of clauses by eliminating complementary literals, thereby enabling automated theorem proving and logical deduction within factorial designs through systematic refutation.

4K

Publications

266.9K

Citations

14.4K

Authors

2.9K

Institutions

Publications per year

2017–2026

1K

Authors

14.4K

  1. DE
    David Eisenbud

    Brandeis University, United States

    14 publications · 1.4K citations

    12

    h-index

  2. TP
    Toniann Pitassi

    University of Toronto, Canada

    12 publications · 614 citations

    11

    h-index

  3. EF
    Elemér Fogassy

    Budapest University of Technology and Economics, Hungary

    8 publications · 181 citations

    10

    h-index

  4. JH
    Jürgen Herzog

    University of Duisburg-Essen, Germany

    10 publications · 745 citations

    10

    h-index

  5. KW
    Keith W. Hipel

    University of Waterloo, Canada

    9 publications · 322 citations

    9

    h-index

1–5 of 14.4K

Venues

  1. Optics Express

    52 publications · 2.8K citations

    31

    h-index

  2. Review of Scientific Instruments

    53 publications · 2.3K citations

    27

    h-index

  3. Remote Sensing

    46 publications · 2.3K citations

    26

    h-index

  4. IEEE Transactions on Nuclear Science

    57 publications · 2K citations

    26

    h-index

  5. arXiv (Cornell University)

    Repository · 89 publications · 4.2K citations

    26

    h-index

1–5