Strategies Comparison
t.b.d.:
 Discussion Bound Propagation:
In this section we will provide a critical discussion of the
impact of the bound propagation optimization. More...
 Discussion Refer Propagation:
In this section we will provide a critical discussion of
the impact of the refer propagation optimization. More...
 Discussion Constant
Instantiation: In
this section we will provide a critical discussion of the impact
of the constant instantiation optimization. More...
 Discussion Variable
Instantiation: In
this section we will provide a critical discussion of the impact
of the variable instantiation optimization. More...
Comments
Download
Benchmark CLP(FD) Results 
Document
