DMCA
Differentiable invariants (2006)
| Venue: | In Frédéric Benhamou, editor, Proceedings of CP’06, volume 4204 of LNCS |
| Citations: | 9 - 1 self |
BibTeX
@INPROCEEDINGS{Hentenryck06differentiableinvariants,
author = {Pascal Van Hentenryck and Laurent Michel},
title = {Differentiable invariants},
booktitle = {In Frédéric Benhamou, editor, Proceedings of CP’06, volume 4204 of LNCS},
year = {2006},
pages = {604--619},
publisher = {Springer-Verlag}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Invariants that incrementally maintain the value of expressions under assignments to their variables are a natural abstraction to build high-level local search algorithms. But their functionalities are not sufficient to allow arbitrary expressions as constraints or objective functions as in constraint programming. Differentiable invariants bridge this expressiveness gap. A differentiable invariant maintains the value of an expression and its variable gradients, it supports differentiation to evaluate the effect of local moves. The benefits of differentiable invariants are illustrated on a number of applications which feature complex, possibly reified, expressions and whose models are essentially similar to their CP counterparts. Experimental results demonstrate their practicability. 1
