  


Improved Interval Constraint Propagation for Constraints on Partial Derivatives
Evgueni Petrov (evgueni.petrovirin.univnantes.fr) Abstract: Automatic differentiation (AD) automatically transforms programs which calculate elementary functions into programs which calculate the gradients of these functions. Unlike other differentiation techniques, AD allows one to calculate the gradient of any function at the cost of at most 5 values of the function (in terms of time). Interval constraint programming (ICP) is a part of constraint programming focused on representation and processing of nonlinear constraints. We adapt AD to the context of ICP and obtain an algorithm which transforms elementary functions into constraints specifying their gradient. We describe some experiments with implementation of our algorithm in the logic programming language ECL$^i$PS$^e$. Keywords: automatic differentiation; constraint programming Category 1: Optimization Software and Modeling Systems (Optimization Software Design Principles ) Citation: IRIN  Universite de Nantes, 2 Houssiniere, 44300 Nantes, France, january 2002 Download: [Compressed Postscript] Entry Submitted: 02/02/2002 Modify/Update this entry  
Visitors  Authors  More about us  Links  
Subscribe, Unsubscribe Digest Archive Search, Browse the Repository

Submit Update Policies 
Coordinator's Board Classification Scheme Credits Give us feedback 
Optimization Journals, Sites, Societies  