general/constraint-programming
Surf Wiki
DPLL algorithm
Type of search algorithm
AC-3 algorithm
Algorithms in constraint satisfaction
Constraint composite graph
Node-weighted undirected graph associated with a given combinatorial optimization problem
Barrier function
Continuous function whose value increases to infinity
Constraint satisfaction problem
Set of objects whose state must satisfy limits
Min-conflicts algorithm
Search algorithm or heuristic method to solve constraint satisfaction problems
Test functions for optimization
Functions used to evaluate optimization algorithms
Ordered graph
Graph with a total order over its nodes
Constraint satisfaction
Process in artificial intelligence and operations research