Keyword

constraint programming

Description: A computational problem-solving paradigm that represents relationships among variables as constraints and searches for assignments satisfying them.

Primary topic: Constraint Satisfaction and Optimization (39%)

Wikidata ID: wiki/Q528588

OpenAlex ID: keywords/constraint-programming

Handbook of Constraint Programming

2006 · Foundations of artificial intelligence · 1,482

Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems

1998 · Paul Shaw · Lecture notes in computer science · 1,369

SCIP: solving constraint integer programs

2009 · Tobias Achterberg · Mathematical Programming Computation · 1,166

Principles of Constraint Programming

2003 · Krzysztof Apt · Cambridge University Press eBooks · 888

Programming with Constraints

1998 · Kimbal Marriott, Peter Stuckey · The MIT Press eBooks · 864

Logic programs with stable model semantics as a constraint programming paradigm

1999 · Ilkka Niemelä · Annals of Mathematics and Artificial Intelligence · 837

Wiley encyclopedia of operations research and management science

2011 · Choice Reviews Online · 781

MiniZinc: Towards a Standard CP Modelling Language

2007 · Nicholas Nethercote, Peter J. Stuckey, et al. · Springer eBooks · 764

Constraint Query Languages

1995 · P.C. Kanellakis, G.M. Kuper, et al. · Journal of Computer and System Sciences · 673

The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory

1981 · Alan Borning · ACM Transactions on Programming Languages and Systems · 620

Automated Reasoning on Feature Models

2005 · David Benavides, Pablo Trinidad, et al. · Notes on numerical fluid mechanics and multidisciplinary design · 614

Logic-based Benders decomposition

2003 · J.N. Hooker, G. Ottosson · Mathematical Programming · 595

Programming real-time applications with SIGNAL

1991 · P. LeGuernic, T. Gautier, et al. · Proceedings of the IEEE · 550

Wiley Encyclopedia of Operations Research and Management Science

2010 · Cochran, James · Wiley eBooks · 545

The OPL Optimization Programming Language

2000 · A. Tuson, P. van Hentenryck · Journal of the Operational Research Society · 508

Selecting and scheduling observations of agile satellites

2002 · Michel Lemaı̂tre, Gérard Verfaillie, et al. · Aerospace Science and Technology · 470

The Sat4j library, release 2.2

2010 · Daniel Le Berre, Anne Parrain · Journal on Satisfiability Boolean Modeling and Computation · 455

PDF

Constraint-Based Scheduling

2001 · Philippe Baptiste, Claude Le Pape, et al. · International series in management science/operations research/International series in operations research & management science · 450

Constraint Integer Programming

2007 · Achterberg, Tobias · 440

Algorithms for Hybrid MILP/CP Models for a Class of Optimization Problems

2001 · Vipul Jain, Ignacio E. Grossmann · INFORMS journal on computing · 400

Constraint - based scheduling : applying constraint programming to scheduling problems

2001 · Philippe Baptiste, Claude Le Pape, et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 385

QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems

2004 · Ulrich Junker · 373

Concepts, Techniques, and Models of Computer Programming

2004 · Peter Van Roy, Seif Haridi · 350

Constraint-Based Local Search

2017 · Laurent Michel, Pascal Van Hentenryck · Springer eBooks · 348

Principles and Practice of Constraint Programming - CP 2002

2002 · Barnier, Nicolas, Brisset, Pascal · Lecture notes in computer science · 337

Works count: 12,040

Citation count: 111,300