Concepedia

Proof Production

Proof Production is a computational method within Satisfiability Modulo Theories that generates a formal justification for the unsatisfiability of a given logical formula, thereby enabling verifiable reasoning about the correctness of the solver's outcome.

31

Publications

1.6K

Citations

68

Authors

45

Institutions

Publications per year

2017–2026

6

Parents

Publications

31

Semantic and Syntactic Proof Productions

Keith Weber, Lara Alcock · Educational Studies in Mathematics · 2004 · 265 citations

, , +11

A prolog technology theorem prover: Implementation by an extended prolog compiler

Mark E. Stickel · Journal of Automated Reasoning · 1988 · 250 citations

, , +13

A Prolog technology theorem prover

Mark E. Stickel · New Generation Computing · 1984 · 99 citations

, , +11

An Early Program Proof by Alan Turing

F. Lockwood Morris, Cliff B. Jones · IEEE Annals of the History of Computing · 1984 · 85 citations

, , +10

Automatic generation of some results in finite algebra

Masayuki Fujita, John Slaney, F.E. Bennett · International Joint Conference on Artificial Intelligence · 1993 · 85 citations

, , +17

1–5 of 31

Authors

68

  1. PI
    Paola Iannone

    University of East Anglia, United Kingdom

    4 publications · 139 citations

    4

    h-index

  2. MI
    Matthew Inglis

    Loughborough University, United Kingdom

    3 publications · 79 citations

    3

    h-index

  3. ME
    Mark E. Stickel

    SRI International, United States

    3 publications · 416 citations

    3

    h-index

  4. PF
    Pascal Fontaine

    Université de Lorraine, France

    3 publications · 47 citations

    3

    h-index

  5. LA
    Lara Alcock

    Loughborough University, United Kingdom

    2 publications · 278 citations

    2

    h-index

1–5 of 68

Institutions

45

  1. University of East Anglia

    Norwich, United Kingdom

    3 h-index

    4 publications

    170 citations

  2. SRI International

    Menlo Park, United States

    3 h-index

    3 publications

    416 citations

  3. Loughborough University

    Loughborough, United Kingdom

    3 h-index

    4 publications

    92 citations

  4. University of Iowa

    Iowa City, United States

    2 h-index

    3 publications

    69 citations

  5. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    2 h-index

    3 publications

    56 citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    3 publications

    63 citations

  7. Université de Lorraine

    Nancy, France

    2 h-index

    3 publications

    56 citations

  8. Rutgers, The State University of New Jersey

    New Brunswick, United States

    2 h-index

    4 publications

    620 citations

1–8 of 45

Venues

  1. Journal of Automated Reasoning

    3 publications · 285 citations

    3

    h-index

  2. International Joint Conference on Artificial Intelligence

    Conference · 2 publications · 97 citations

    2

    h-index

  3. Educational Studies in Mathematics

    2 publications · 310 citations

    2

    h-index

  4. Proceedings of the AAAI Conference on Artificial Intelligence

    Conference · 1 publications · 11 citations

    1

    h-index

  5. New Generation Computing

    1 publications · 99 citations

    1

    h-index

1–5