most citedTracing and Explaining Execution of CLP(FD) Programs

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2002★ 2 cited

Tracing and Explaining Execution of CLP(FD) Programs

Magnus Agren, Tamas Szeredi, Nicolas Beldiceanu +1

Previous work in the area of tracing CLP(FD) programs mainly focuses on providing information about control of execution and domain modification. In this paper, we present a trace…