Leaderboards/Constraint Satisfaction and Optimization

Constraint Satisfaction and Optimization

Last updated July 7, 2026

Rising Stars

New and hot

Rising Stars Researchers

1
Libor Barto
Charles University
2
Christopher Wilt
University of New Hampshire at Manchester
3
Nils Froleyks
KU Leuven
4
Mikael Lundqvist
Karolinska Institutet
5
Ksenia Bestuzheva
Zuse Institute Berlin
6
Giacomo Ariani
Western University
7
Ethan Burns
University of New Hampshire at Manchester
8
Jan Tönshoff
RWTH Aachen University
9
Adejuyigbe O. Fajemisin
National College of Ireland
10
Andrey Kolobov
University of Washington

Rising Stars Papers

1
Distinct functions for beta and alpha bursts in gating of human working memory
Nature Communications|2024
36 cit.
2
Cortical Areas for Planning Sequences before and during Movement
Journal of Neuroscience|2024
19 cit.
3
Algebraic Approach to Approximation
Unknown Journal|2024
1 cit.
4
Efficient separation of RLT cuts for implicit and explicit bilinear terms
Mathematical Programming|2024
1 cit.
5
Multisorted Boolean clones determined by binary relations up to minion homomorphisms
Algebra Universalis|2024
1 cit.
6
Finite algebras with Hom-sets of polynomial size
Transactions of the American Mathematical Society|2024
0 cit.
7
The Sherali–Adams and Weisfeiler–Leman Hierarchies in (Promise Valued) Constraint Satisfaction Problems
ACM Transactions on Computation Theory|2025
0 cit.
8
A CNN-Based Hybrid Biometric Verification System: Towards Green and Robust Identity Authentication
Unknown Journal|2026
0 cit.
9
Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems
arXiv (Cornell University)|2026
0 cit.
10
Odor intensity coding
OSF Preprints (OSF Preprints)|2025
0 cit.

Emerging Leaders

Gaining momentum

Emerging Leaders Researchers

1
Antoine Prouvost
Mila - Quebec Artificial Intelligence Institute
2
Jason J. Sauppe
University of Wisconsin–La Crosse
3
Jennifer E. Phillips‐Cremins
Bioengineering Center
4
Petar Veličković
University of Cambridge
5
Jakob Witzig
Systems, Applications & Products in Data Processing (Germany)
6
Jakub Opršal
Durham University
7
Thomas Schiex
Institut National de Recherche pour l'Agriculture, l'Alimentation et l'Environnement
8
Siobhán Campbell
The Open University
9
Can A. Baykan
Carnegie Mellon University
10
Steven Kutsch
FernUniversität in Hagen

Emerging Leaders Papers

1
Cohesin-mediated loop anchors confine the locations of human replication origins
Nature|2022
127 cit.
2
Enabling Research through the SCIP Optimization Suite 8.0
ACM Transactions on Mathematical Software|2023
63 cit.
3
Spatially coordinated heterochromatinization of long synaptic genes in fragile X syndrome
Cell|2023
28 cit.
4
Local consistency as a reduction between constraint satisfaction problems
Unknown Journal|2024
14 cit.
5
Polygenic burden of short tandem repeat expansions promotes risk for Alzheimer’s disease
Nature Communications|2025
13 cit.
6
An invitation to the promise constraint satisfaction problem
ACM SIGLOG News|2022
12 cit.
7
Cell-type-specific loops linked to RNA polymerase II elongation in human neural differentiation
Cell Genomics|2024
12 cit.
8
The CLRS Algorithmic Reasoning Benchmark
arXiv (Cornell University)|2022
7 cit.
9
FISHnet: detecting chromatin domains in single-cell sequential Oligopaints imaging data
Nature Methods|2025
6 cit.
10
Time-warping invariant quantum recurrent neural networks via quantum-classical adaptive gating
Machine Learning Science and Technology|2023
4 cit.

Current Senior Leaders

Established & currently active

Current Senior Leaders Researchers

1
Pierre Hansen
HEC Montréal
2
Judea Pearl
University of California, Los Angeles
3
Bart Selman
Cornell University
4
Toby Walsh
UNSW Sydney
5
Sharad Malik
Princeton University
6
Riccardo Zecchina
Politecnico di Torino
7
Derek Long
University of Strathclyde
8
Henry Kautz
University of Virginia
9
Anthony G. Cohn
University of Leeds
10
Catherine A. Schevon
Columbia University

Current Senior Leaders Papers

1
Causality: Models, Reasoning and Inference
The Philosophical Review|2001
4.8k cit.
2
Variable neighborhood search
Computers & Operations Research|1997
4.1k cit.
3
Chaff
Unknown Journal|2001
2.9k cit.
4
Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99
Unknown Journal|1999
2.5k cit.
5
Causal inference in statistics: An overview
Statistics Surveys|2009
2.3k cit.
6
Causal diagrams for empirical research
Biometrika|1995
2.3k cit.
7
Fusion, propagation, and structuring in belief networks
Artificial Intelligence|1986
2.2k cit.
8
A Spatial Logic based on Regions and Connection.
Unknown Journal|1992
1.9k cit.
9
Variable neighborhood search: Principles and applications
European Journal of Operational Research|2001
1.9k cit.
10
Temporal constraint networks
Artificial Intelligence|1991
1.8k cit.

Reagents for Constraint Satisfaction and Optimization

Citation-validated products used in this field

🔥 Trending

Gaining adoption fast

⭐ Top Rated

Best all-around

🌟 All-Time

Most validated

Cell Signaling TechnologyEvidence 65

T-bet/TBX21 (E4I2K) Rabbit Monoclonal Antibody

#97135$168,369
View Evidence →