Concepedia

Difference Logic

Difference Logic is a fragment of linear arithmetic in which constraints are restricted to differences between pairs of variables, typically expressed as inequalities of the form \( x - y \leq c \), where \( x \) and \( y \) are variables and \( c \) is a constant, enabling efficient decision procedures in Satisfiability Modulo Theories.

37

Publications

2.5K

Citations

78

Authors

43

Institutions

Publications per year

2017–2026

4

Variants

Difference Constraint Logic

Parents

Publications

37

The concepts of ‘sameness’ and ‘difference’ in an insect

Martín Giurfa, Shaowu Zhang, Arnim Jenett et al. · Nature · 2001 · 736 citations

, , +5

Borders and Boundaries of State and Self at the End of Empire

Michael Kearney · Journal of Historical Sociology · 1991 · 576 citations

, , +14

Model theory of difference fields

Zoé Chatzidakis, Ehud Hrushovski · Transactions of the American Mathematical Society · 1999 · 212 citations · Full text

, , +8

Affective Resonance: On the Uses and Abuses of Music In and For Philosophy

Robin James · PhaenEx · 2012 · 83 citations · Full text

, , +14

Relational and Essential: Theorizing Difference for Peacebuilding

Morgan Brigg · Journal of Intervention and Statebuilding · 2018 · 70 citations

, , +11

1–5 of 37

Authors

78

  1. CO
    Ciaran O’Reilly

    Menlo School, United States

    2 publications · 31 citations

    2

    h-index

  2. RD
    Rodrigo de Salvo Braz

    SRI International, United States

    2 publications · 31 citations

    2

    h-index

  3. VG
    Vibhav Gogate

    The University of Texas at Dallas, United States

    2 publications · 31 citations

    2

    h-index

  4. RD
    Rina Dechter

    University of California, Irvine, United States

    2 publications · 31 citations

    2

    h-index

  5. BK
    Boris Konev

    University of Liverpool, United Kingdom

    2 publications · 44 citations

    2

    h-index

1–5 of 78

Institutions

43

  1. Menlo School

    Atherton, United States

    2 h-index

    4 publications

    62 citations

  2. Australian National University

    Canberra, Australia

    2 h-index

    3 publications

    1.5K citations

  3. SRI International

    Menlo Park, United States

    2 h-index

    4 publications

    62 citations

  4. University of California, Irvine

    Irvine, United States

    2 h-index

    2 publications

    31 citations

  5. University of Richmond

    Richmond, United States

    1 h-index

    1 publications

    33 citations

  6. Beijing University of Chemical Technology

    Beijing, China

    1 h-index

    1 publications

    16 citations

  7. Carnegie Mellon University

    Pittsburgh, United States

    1 h-index

    2 publications

    72 citations

  8. Capital Normal University

    Beijing, China

    1 h-index

    2 publications

    32 citations

1–8 of 43

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 26 citations

    2

    h-index

  2. arXiv (Cornell University)

    Repository · 2 publications · 34 citations

    2

    h-index

  3. Journal of Intervention and Statebuilding

    1 publications · 70 citations

    1

    h-index

  4. ACM Transactions on Computational Logic

    TOCL · 1 publications · 62 citations

    1

    h-index

  5. Transactions of the American Mathematical Society

    TRAN · 1 publications · 212 citations

    1

    h-index

1–5