expressed in the form of constraint logic programming, which embeds constraints into a logic program. This variant of logic programming is due to Jaffar and...

non-concurrent constraint logic programming in that they are aimed at programming concurrent processes that may not terminate. Constraint handling rules...

Francesca; Van Beek, Peter; Walsh, Toby (2006). "7". Handbook of constraint programming (1st ed.). Amsterdam: Elsevier. ISBN 9780080463643. OCLC 162587579...

integer programming (MIP) and answer set programming (ASP) are all fields of research focusing on the resolution of particular forms of the constraint satisfaction...

Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction...

or competitive behaviour) Constraint programming – relations between variables are expressed as constraints (or constraint networks), directing allowable...

Concurrent constraint logic programming is a version of constraint logic programming aimed primarily at programming concurrent processes rather than (or...

fifth-generation programming language (5GL) is a high-level programming language based on problem-solving using constraints given to the program, rather than...

concurrency A constraint programming language is a declarative programming language where relationships between variables are expressed as constraints. Execution...

Conference on Principles and Practice of Constraint Programming Multiple Authors. "Java Constraint Programming solver" (Java). JaCoP. Krzysztof Kuchcinski &...

Distributed constraint optimization (DCOP or DisCOP) is the distributed analogue to constraint optimization. A DCOP is a problem in which a group of agents...

computer programming language partially described by K. Kahn and Vijay A. Saraswat in the paper "Actors as a special case of concurrent constraint (logic)...

Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical...

linear programming, economics and cost modeling Constrained writing, in literature Constraint algorithm, such as SHAKE, or LINCS Constraint programming Constraint...

science, declarative programming is a programming paradigm, a style of building the structure and elements of computer programs, that expresses the logic...

Linear programming is a special case of mathematical programming (also known as mathematical optimization). More formally, linear programming is a technique...

Constraint Handling Rules (CHR) is a declarative, rule-based programming language, introduced in 1991 by Thom Frühwirth at the time with European Computer-Industry...

plus) JADE Jai JAL Janus (concurrent constraint programming language) Janus (time-reversible computing programming language) JASS Java JavaFX Script JavaScript...

combinatorial problems including constraint programming, integer programming, SAT, and SMT. Following the constraint programming paradigm, in MiniZinc a problem...

or competitive behaviour) Constraint programming – relations between variables are expressed as constraints (or constraint networks), directing allowable...

In constraint satisfaction research in artificial intelligence and operations research, constraint graphs and hypergraphs are used to represent relations...

small, strongly typed, and combines constraint programming, a limited number of features inspired by logic programming and supports imperative paradigms...

convex quadratic constraints Mixed-integer nonlinear programming Second-order cone programming Global optimization Semidefinite programming problems with...

The Kaleidoscope programming language is a constraint programming language embedding constraints into an imperative object-oriented language. It adds...

In computing, reactive programming is a declarative programming paradigm concerned with data streams and the propagation of change. With this paradigm...

Competitive programming or sport programming is a mind sport involving participants trying to program according to provided specifications. The contests...

least squares Distributed constraint optimization Constraint satisfaction problem (CSP) Constraint programming Integer programming Metric projection Penalty...

Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable...

Geometric constraint solving is constraint satisfaction in a computational geometry setting, which has primary applications in computer aided design. A...

and Linux. It also supports some extensions to Prolog including constraint programming over a finite domain, parsing using definite clause grammars, and...