Constraint retraction in CLP(FD): Formal framework and performance results

DOI10.1023/A:1009893626769zbMath0928.68023MaRDI QIDQ1294043

Yan Georget, Philippe Codognet, Francesca Rossi

Publication date: 9 January 2000

Published in: Constraints (Search for Journal in Brave)

zbMATH Keywords

constraint retraction

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Contractibility for open global constraints ⋮ Constraint solving in uncertain and dynamic environments: A survey