History of symbolic execution (as well as SAT/SMT solving, fuzzing, and ...
Motion and Shape Capture from Sparse Markers
Zen is a constraint solving library for .NET