Constraint programming

condition of an optimization problem that a solution must satisfy

programming paradigm wherein relations between variables are stated in the form of constraints

algorithm for solving the CNF-SAT problem

mathematical problems defined as a set of objects whose state must satisfy a number of constraints or limitations

algorithm for check the validity of a logic formula

problem of determining whether a mathematical formula is satisfiable

SWI-Prolog is a free implementation of the programming language Prolog, commonly used for teaching and semantic web applications. It has a rich set of features, libraries for constraint logic programming, multithreading, unit testing, GUI, interfacing to Java, ODBC and others, literate programming, a web server, SGML, RDF, RDFS, developer tools (including an IDE with a GUI debugger and GUI profiler), and extensive documentation.

class of optimization problems in mathematics, finance, linear programming, economics and cost modeling

general-purpose implementation of the Prolog language

continuous function whose value increases to infinity

In constraint programming and SAT solving, backjumping (also known as non-chronological backtracking or intelligent backtracking) is an enhancement for backtracking algorithms which reduces the search space. While backtracking always goes up one level in the search tree when all values for a variable have been tested, backjumping may go up more levels. In this article, a fixed order of evaluation of variables x_1,\ldots,x_n is used, but the same considerations apply to a dynamic order of evaluation.

one of a series of algorithms used for the solution of constraint satisfaction problems

functions used to evaluate optimization algorithms

process of finding a solution to a set of constraints that impose conditions that the variables must satisfy

ILOG S.A. was an international software company purchased and incorporated into IBM, announced in January 2009. It created enterprise software products for supply chain, business rule management, visualization, and optimization. The main product line for Business Rules Management Systems (BRMS) has been rebranded as IBM Operational Decision Management. Many of the related components retain the ILOG brand as a part of their name.

calculus for temporal reasoning (relating to time instances) of events