Concepedia

Linear Arithmetic

Linear Arithmetic is a decidable fragment of first-order arithmetic that restricts terms to linear combinations of integer or real variables and supports equality and inequality comparisons, forming the basis for constraint solving in Satisfiability Modulo Theories.

137

Publications

5.1K

Citations

253

Authors

145

Institutions

Publications per year

2017–2026

16

Parents

Publications

137

Linear Programming-1: Introduction.

Urmil Dave, George B. Dantzig, Manjit Thapa · Journal of the Operational Research Society · 1998 · 329 citations

, , +11

Concolic testing for deep neural networks

Youcheng Sun, Min Wu, Wenjie Ruan et al. · 2018 · 329 citations · Full text

, , +13

Fuzzy mathematical programming and fuzzy matrix games

Choice Reviews Online · 2005 · 231 citations

, , +16

Quantifier Elimination for Real Algebra -- the Quadratic Case and Beyond

Volker Weispfenning · Applicable Algebra in Engineering Communication and Computing · 1997 · 197 citations

, , +13

The Basic Laws of Arithmetic: Exposition of the System.

Robert Stoothoff, Gottlob Frege, Montgomery Furth · The Philosophical Quarterly · 1966 · 181 citations

, , +14

1–5 of 137

Authors

253

  1. VW
    Volker Weispfenning

    University of Passau, Germany

    4 publications · 376 citations

    4

    h-index

  2. JL
    Jean-Louis Lassez

    IBM Research - Thomas J. Watson Research Center, United States

    3 publications · 135 citations

    3

    h-index

  3. PJ
    Peter J. Stuckey

    The University of Melbourne, Australia

    3 publications · 140 citations

    3

    h-index

  4. RS
    Roberto Sebastiani

    University of Trento, Italy

    3 publications · 176 citations

    3

    h-index

  5. VK
    Viktor Kunčak

    École Polytechnique Fédérale de Lausanne, Switzerland

    3 publications · 68 citations

    3

    h-index

1–5 of 253

Institutions

145

  1. University of Passau

    Passau, Germany

    5 h-index

    6 publications

    422 citations

  2. University of Oxford

    Oxford, United Kingdom

    4 h-index

    16 publications

    1.9K citations

  3. University of Trento

    Trento, Italy

    4 h-index

    7 publications

    375 citations

  4. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    4 h-index

    7 publications

    158 citations

  5. The University of Melbourne

    Melbourne, Australia

    3 h-index

    4 publications

    256 citations

  6. IBM (United States)

    Armonk, United States

    3 h-index

    7 publications

    240 citations

  7. Saarland University

    Saarbrücken, Germany

    3 h-index

    3 publications

    125 citations

  8. École Polytechnique Fédérale de Lausanne

    Lausanne, Switzerland

    3 h-index

    8 publications

    173 citations

1–8 of 145

Venues

  1. Theoretical Computer Science

    5 publications · 126 citations

    5

    h-index

  2. Annals of Pure and Applied Logic

    3 publications · 52 citations

    3

    h-index

  3. Numerische Mathematik

    3 publications · 51 citations

    3

    h-index

  4. Formal Methods in System Design

    3 publications · 49 citations

    3

    h-index

  5. Journal of Automated Reasoning

    3 publications · 139 citations

    3

    h-index

1–5