Difference Constraints

Difference Constraints is a constraint representation formalism that expresses limitations between pairs of variables as upper bounds on their difference, distinguishing it from other constraint types by its focus on relative offsets rather than absolute values or complex functional relationships.

29

Publications

1.8K

Citations

65

Authors

37

Institutions

Publications per year

2017–2026

7

Authors

65

  1. ZZ
    Zhiru Zhang

    Cornell University, United States

    5 publications · 311 citations

    5

    h-index

  2. KS
    K. Subramani

    West Virginia University, United States

    2 publications · 47 citations

    2

    h-index

  3. JC
    Jason Cong

    University of California, Los Angeles, United States

    2 publications · 198 citations

    2

    h-index

  4. BP
    Balakrishnan Prabhakaran

    The University of Texas at Dallas, United States

    2 publications · 101 citations

    2

    h-index

  5. FZ
    Florian Zuleger

    TU Wien, Austria

    2 publications · 73 citations

    2

    h-index

1–5 of 65

Venues

  1. Journal of Automated Reasoning

    2 publications · 90 citations

    2

    h-index

  2. Theory and Practice of Logic Programming

    1 publications · 23 citations

    1

    h-index

  3. Formal Aspects of Computing

    1 publications · 14 citations

    1

    h-index

  4. Information Processing Letters

    1 publications · 18 citations

    1

    h-index

  5. 1

    h-index

1–5