Differentiable Invariants

DOI10.1007/11889205_43MaRDI QIDQ3524261zbMATH OpenOpenAlexFDO

Authors Pascal Van Hentenryck, Laurent Michel

Publication date 9 September 2008

Published in Principles and Practice of Constraint Programming - CP 2006 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11889205_43

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Contraint-based combinators for local search
• Principles and Practice of Constraint Programming – CP 2004
• scientific article; zbMATH DE number 2087175
• Strengthening invariants for efficient computation
• Heuristic search for invariants for one class of programs. 6

Cited in

(7)

• scientific article; zbMATH DE number 4006384 (Why is no real title available?)
• Synthesizable differentiation-invariant subspaces
• In search of balance: the challenge of generating balanced Latin rectangles
• scientific article; zbMATH DE number 4123871 (Why is no real title available?)
• Revisiting constraint-directed search
• Generic incremental algorithms for local search
• Generating differential invariants

Describes a project that uses

Uses Software

• Localizer

This page was built for publication: Differentiable Invariants

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