Sciweavers

11 search results - page 3 / 3
» Solving Finite Domain Constraint Hierarchies by Local Consis...
Sort
View
FLOPS
2008
Springer
13 years 6 months ago
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
Abstract. We present a declarative method for diagnosing missing computed answers in CFLP(D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instant...
Rafael Caballero, Mario Rodríguez-Artalejo,...