Newton swMATH ID: 21236 Software Authors: Van Hentenryck, Pascal; Michel, Laurent; Benhamou, F. Description: Newton: Constraint programming over nonlinear constraints. This paper is an introduction to Newton, a constraint programming language over nonlinear real constraints. Newton originates from an effort to reconcile the declarative nature of constraint logic programming (CLP) languages over intervals with advanced interval techniques developed in numerical analysis, such as the interval Newton method. Its key conceptual idea is to introduce the notion of box-consistency, which approximates arc-consistency, a notion well known in artificial intelligence. Box-consistency achieves an effective pruning at a reasonable computation cost and generalizes some traditional interval operators. Newton has been applied to numerous applications in science and engineering, including nonlinear equation-solving, unconstrained optimization, and constrained optimization. It is competitive with continuation methods on their equation-solving benchmarks and outperforms the interval-based methods we are aware of on optimization problems. Homepage: http://www.sciencedirect.com/science/article/pii/S0167642397000087 Keywords: Newton; constraint logic programming Related Software: Helios; PASCAL-XSC; COMET; cc(FD); Skyblue; Mozart; QOCA; COCONUT; Numerica; PSICO; COPRIN; RealPaver; ICOS; GLOPTLAB; GLOPT; BARON; minpack; AMPL Cited in: 5 Publications all top 5 Cited by 8 Authors 2 Michel, Laurent 2 Van Hentenryck, Pascal 1 Abdallah, Areski Nait 1 Benhamou, Frédéric 1 Domes, Ferenc 1 Liu, Jiming 1 Neumaier, Arnold 1 van Emden, Maarten H. Cited in 4 Serials 2 Artificial Intelligence 1 Theoretical Computer Science 1 Science of Computer Programming 1 Constraints Cited in 3 Fields 5 Computer science (68-XX) 3 Operations research, mathematical programming (90-XX) 1 Numerical analysis (65-XX) Citations by Year