A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
global constraint for under-constrained systems of equations
scientific article; zbMATH DE number 5703902
scientific article