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
2.4K
Rina Dechter, Itay Meiri, Judea Pearl · Artificial Intelligence · 1991 · 1.8K citations
Koushik Sen, Darko Marinov, Gul Agha · 2005 · 1.7K citations
Joxan Jaffar, J.-L. Lassez · 1987 · 1.6K citations
1–5 of 2.4K
3.3K
24
h-index
24
h-index
Centre National de la Recherche Scientifique, France
36 publications · 2K citations
23
h-index
22
h-index
22
h-index
1–5 of 3.3K
1.1K

Centre National de la Recherche Scientifique
Paris, France
43 h-index
229 publications
12.4K citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
25 h-index
75 publications
3K citations
Carnegie Mellon University
Pittsburgh, United States
24 h-index
61 publications
3.6K citations

Data61
Sydney, Australia
23 h-index
68 publications
2.5K citations
Charles University
Prague, Czechia
23 h-index
40 publications
1.9K citations
Universitat Politècnica de Catalunya
Barcelona, Spain
22 h-index
60 publications
2.8K citations

The University of Melbourne
Melbourne, Australia
22 h-index
66 publications
3.1K citations
University of California, Berkeley
Berkeley, United States
21 h-index
59 publications
3.2K citations
1–8 of 1.1K
103 publications · 14.4K citations
56
h-index
57 publications · 2.7K citations
32
h-index
Conference · 36 publications · 3.3K citations
24
h-index
34 publications · 1.5K citations
20
h-index
Repository · 32 publications · 1.1K citations
19
h-index
1–5