X-Nico

3 unusual facts about Constraint satisfaction


Constraint satisfaction

Constraints have also been embedded into functional programming languages.

Variable elimination and the simplex algorithm are used for solving linear and polynomial equations and inequalities, and problems containing variables with infinite domain.

Playlist

Constraint satisfaction techniques were developed to create playlists that satisfy arbitrary "sequence constraints", such as continuity, diversity, similarity, etc.



see also

Constraint Composite Graph

Many subclasses of weighted constraint satisfaction problems that are tractable by virtue of the numerical structure of their weighted constraints have associated constraint composite graphs that are bipartite in nature.