Differentiable Invariants

DOI10.1007/11889205_43zbMATH Open1160.68569OpenAlexW2912436028MaRDI QIDQ3524261FDOQ3524261

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

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

Mathematics Subject Classification ID

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

Cited In (7)

• Title not available (Why is that?)
• Synthesizable differentiation-invariant subspaces
• In search of balance: the challenge of generating balanced Latin rectangles
• Title not available (Why is that?)
• Revisiting constraint-directed search
• Generic incremental algorithms for local search
• Generating differential invariants

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)