Newton: Constraint programming over nonlinear constraints

DOI10.1016/S0167-6423(97)00008-7zbMath0891.68015MaRDI QIDQ1380122

Frédéric Benhamou, Laurent Michel, Pascal Van Hentenryck

Publication date: 24 March 1998

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

constraint logic programmingNewton

Mathematics Subject Classification ID

Nonlinear programming (90C30) Theory of programming languages (68N15)

Related Items (5)

Constraint propagation as information maximization ⋮ Constraint propagation on quadratic constraints ⋮ Reverse propagation of McCormick relaxations ⋮ Reliable nonlinear state estimation involving time uncertainties ⋮ Symbolic Model Checking of Hybrid Systems Using Template Polyhedra

Uses Software

• PASCAL-XSC
• Newton

This page was built for publication: Newton: Constraint programming over nonlinear constraints