Concepedia

Csp Solving

CSP Solving is a computational method within constraint programming that systematically determines assignments to variables from finite domains satisfying a set of constraints by applying search, propagation, and inference techniques.

463

Publications

21.2K

Citations

802

Authors

376

Institutions

Publications per year

2017–2026

54

Variants

Constraint Satisfaction Problem Solving

Parents

Publications

463

A filtering algorithm for constraints of difference in CSPs

Jean-Charles Régin · National Conference on Artificial Intelligence · 1994 · 667 citations

, , +15

Semiring-based constraint satisfaction and optimization

Stefano Bistarelli, Ugo Montanari, Francesca Rossi · Journal of the ACM · 1997 · 629 citations · Full text

, , +16

Using CSP look-back techniques to solve real-world SAT instances

Roberto J. Bayardo, Robert Schrag · 1997 · 598 citations

, , +15

A probabilistic algorithm for k-SAT and constraint satisfaction problems

T. Schoning · 2003 · 440 citations

, , +14

Consistency techniques for numeric CSPs

Olivier Lhomme · 1993 · 388 citations

, , +11

1–5 of 463

Authors

802

  1. TS
    Thomas Schiex

    Centre National de la Recherche Scientifique, France

    15 publications · 1.1K citations

    12

    h-index

  2. JL
    Javier Larrosa

    Universitat Politècnica de Catalunya, Spain

    11 publications · 708 citations

    10

    h-index

  3. AK
    Andrei Krokhin

    Durham University, United Kingdom

    7 publications · 242 citations

    7

    h-index

  4. GV
    Gérard Verfaillie

    Office National d'Études et de Recherches Aérospatiales, France

    7 publications · 507 citations

    7

    h-index

  5. CB
    Christian Bessière

    Centre National de la Recherche Scientifique, France

    6 publications · 337 citations

    6

    h-index

1–5 of 802

Institutions

376

  1. Centre National de la Recherche Scientifique

    Paris, France

    15 h-index

    38 publications

    1.9K citations

  2. Universitat Politècnica de Catalunya

    Barcelona, Spain

    11 h-index

    19 publications

    1.1K citations

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

    Le Chesnay-Rocquencourt, France

    11 h-index

    21 publications

    542 citations

  4. Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier

    Montpellier, France

    10 h-index

    13 publications

    1.1K citations

  5. University of Oxford

    Oxford, United Kingdom

    9 h-index

    12 publications

    353 citations

  6. University College Cork

    Cork, Ireland

    8 h-index

    14 publications

    316 citations

  7. Princeton University

    Princeton, United States

    8 h-index

    13 publications

    1.1K citations

  8. TU Wien

    Vienna, Austria

    8 h-index

    14 publications

    734 citations

1–8 of 376

Venues

  1. Constraints

    12 publications · 673 citations

    11

    h-index

  2. National Conference on Artificial Intelligence

    Conference · 10 publications · 1.2K citations

    10

    h-index

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

    Repository · 9 publications · 440 citations

    9

    h-index

  4. Artificial Intelligence

    8 publications · 846 citations

    8

    h-index

  5. arXiv (Cornell University)

    Repository · 8 publications · 182 citations

    8

    h-index

1–5