Newton: Constraint programming over nonlinear constraints
scientific article; zbMATH DE number 1121740