A meta-level compiler of CLP(FD) and its combination with intelligent backtracking

Authors:
Philippe Codognet;François Fages;Thierry Sola
Affiliations:
-;-;-
Venue:
Constraint logic programming
Year:
1993

Citing 0
Cited 2

Constraint Retraction in CLP(FD): Formal Framework andPerformance Results

Constraints
Local search with constraint propagation and conflict-based heuristics

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract