Constraint Handling Rules

Constraint Handling Rules is a declarative programming language extension based on multi-headed guarded rules that enables high-level specification of constraint solvers and logical transformations within logic programming.

125

Publications

7.6K

Citations

269

Authors

142

Institutions

Publications per year

2017–2026

25

Authors

269

  1. TF
    Thom Frühwirth

    Universität Ulm, Germany

    13 publications · 934 citations

    11

    h-index

  2. TS
    Tom Schrijvers

    KU Leuven, Belgium

    11 publications · 350 citations

    10

    h-index

  3. PJ
    Peter J. Stuckey

    The University of Melbourne, Australia

    9 publications · 331 citations

    9

    h-index

  4. BD
    Bart Demoen

    KU Leuven, Belgium

    7 publications · 202 citations

    7

    h-index

  5. JS
    Jon Sneyers

    KU Leuven, Belgium

    6 publications · 213 citations

    6

    h-index

1–5 of 269

Venues

  1. Theory and Practice of Logic Programming

    11 publications · 472 citations

    10

    h-index

  2. Lirias (KU Leuven)

    Repository · 6 publications · 107 citations

    6

    h-index

  3. Applied Artificial Intelligence

    AAI · 3 publications · 153 citations

    3

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 91 citations

    3

    h-index

  5. IEEE Transactions on Knowledge and Data Engineering

    TKDE · 2 publications · 47 citations

    2

    h-index

1–5