Algorithmic Power from Declarative Use of Redundant Constraints

• 1 January 1999
• journal article
• Published by Springer Nature in Constraints
• Vol. 4  (4) , 363-381
• https://doi.org/10.1023/a:1009821007410

Abstract

Keywords

• CONVERGENCE
• REDUNDANT CONSTRAINTS
• INTERVAL CONSTRAINT
• DECLARATIVE USE
• NONLINEAR
• UNSTABLE
• THEOREM