A numerical constraint satisfaction problem (NCSP) solver using hull consistency and a branch-and-prune algorithm.
computer-science fsharp thesis functional-programming solver constraint-satisfaction-problem constraints constraint-solver hull-consistency
-
Updated
May 9, 2016 - TeX