Concepedia

Constraint Modeling Languages

Constraint Modeling Language is a formal language designed to express constraint satisfaction problems by specifying variables, domains, and constraints, distinguished from other modeling languages by its emphasis on declarative representation of combinatorial problem structures.

248

Publications

11.6K

Citations

517

Authors

253

Institutions

Publications per year

2017–2026

15

Variants

Constraint Modeling Language

Parents

Publications

248

From computing with numbers to computing with words. From manipulation of measurements to manipulation of perceptions

L. A. ZADEH · IEEE Transactions on Circuits and Systems I Fundamental Theory and Applications · 1999 · 1K citations

, , +12

Logic programs with stable model semantics as a constraint programming paradigm

Ilkka Niemelä · Annals of Mathematics and Artificial Intelligence · 1999 · 851 citations

, , +15

The Constraint Logic Programming Language CHIP.

Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis et al. · Future Generation Computer Systems · 1988 · 498 citations

, , +12

Constraints—A language for expressing almost-hierarchical descriptions

Gerald Jay Sussman, Guy L. Steele · Artificial Intelligence · 1980 · 439 citations · Full text

, , +11

Foundations of Constraint Satisfaction.

James J. Little, Edward Tsang · Journal of the Operational Research Society · 1995 · 313 citations

, , +10

1–5 of 248

Authors

517

  1. PV
    Pascal Van Hentenryck

    Brown University, United States

    9 publications · 998 citations

    9

    h-index

  2. IM
    Ian Miguel

    University of St Andrews, United Kingdom

    7 publications · 664 citations

    7

    h-index

  3. CJ
    Christopher Jefferson

    University of St Andrews, United Kingdom

    7 publications · 670 citations

    7

    h-index

  4. UM
    Ugo Montanari

    University of Pisa, Italy

    6 publications · 190 citations

    6

    h-index

  5. MB
    Michael Benedikt

    University of Oxford, United Kingdom

    6 publications · 114 citations

    6

    h-index

1–5 of 517

Institutions

253

  1. Brown University

    Providence, United States

    9 h-index

    12 publications

    617 citations

  2. University of Pisa

    Pisa, Italy

    8 h-index

    13 publications

    451 citations

  3. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    8 h-index

    13 publications

    386 citations

  4. University of St Andrews

    St Andrews, United Kingdom

    8 h-index

    19 publications

    1.5K citations

  5. Nokia (United States)

    Coppell, United States

    6 h-index

    11 publications

    252 citations

  6. University of Brighton

    Brighton, United Kingdom

    6 h-index

    12 publications

    509 citations

  7. Centre National de la Recherche Scientifique

    Paris, France

    6 h-index

    11 publications

    378 citations

  8. North Carolina State University

    Raleigh, United States

    6 h-index

    15 publications

    530 citations

1–8 of 253

Venues

  1. Constraints

    8 publications · 259 citations

    8

    h-index

  2. Theoretical Computer Science

    6 publications · 181 citations

    6

    h-index

  3. The Journal of Logic Programming

    5 publications · 411 citations

    5

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 149 citations

    5

    h-index

  5. Science of Computer Programming

    3 publications · 341 citations

    3

    h-index

1–5