scientific article
From MaRDI portal
Publication:3357523
zbMath0731.68023MaRDI QIDQ3357523
Thierry le Provost, Pascal Van Hentenryck
Publication date: 1991
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Contractibility for open global constraints, Model-based computing: Developing flexible machine control software, A compositional semantic basis for the analysis of equational Horn programs, Exploring relaxation induced neighborhoods to improve MIP solutions, Constraint solving in uncertain and dynamic environments: A survey
