Tracing and Explaining Execution of CLP(FD) Programs.

Magnus Ågren Tamás Szeredi Nicolas Beldiceanu Mats Carlsson

Published in: WLPE (2002)

Keyphrases

database transactions
execution model
constraint logic programming
constraint programming
metadata
data sets
neural network
data mining
object oriented
query optimization
provably correct