Constraint Solving

Constraint Solving is a computational problem-solving technique that, given a formal specification of variables, their domains, and constraints over them, computes assignments to the variables that satisfy all constraints or determines that no such assignment exists.

2.4K

Publications

139.7K

Citations

3.3K

Authors

1.1K

Institutions

Publications per year

2017–2026

218

Authors

3.3K

  1. RD
    Rina Dechter

    University of California, Irvine, United States

    26 publications · 5K citations

    24

    h-index

  2. EC
    Eugene C. Freuder

    University of New Hampshire, United States

    39 publications · 3.1K citations

    24

    h-index

  3. CB
    Christian Bessière

    Centre National de la Recherche Scientifique, France

    36 publications · 2K citations

    23

    h-index

  4. PV
    Pascal Van Hentenryck

    Brown University, United States

    36 publications · 2.2K citations

    22

    h-index

  5. PJ
    Peter J. Stuckey

    The University of Melbourne, Australia

    43 publications · 2.3K citations

    22

    h-index

1–5 of 3.3K

Venues

  1. Artificial Intelligence

    103 publications · 14.4K citations

    56

    h-index

  2. Constraints

    57 publications · 2.7K citations

    32

    h-index

  3. National Conference on Artificial Intelligence

    Conference · 36 publications · 3.3K citations

    24

    h-index

  4. Theoretical Computer Science

    34 publications · 1.5K citations

    20

    h-index

  5. HAL (Le Centre pour la Communication Scientifique Directe)

    Repository · 32 publications · 1.1K citations

    19

    h-index

1–5