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