Newton: Constraint programming over nonlinear constraints

DOI10.1016/S0167-6423(97)00008-7MaRDI QIDQ1380122zbMATH OpenFDO

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

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

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

Cited in

(6)

• Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
• Constraint propagation on quadratic constraints
• Newtonian program analysis via tensor product
• Reliable nonlinear state estimation involving time uncertainties
• Reverse propagation of McCormick relaxations
• Constraint propagation as information maximization

Describes a project that uses

Uses Software

• Newton
• PASCAL-XSC

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1380122)