Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation.

Ludovic Langevine Pierre Deransart Mireille Ducassé Erwan Jahier

Published in: JFPLC (2002)

Keyphrases

constraint logic programming
constraint programming
databases
upper bound
general purpose
box counting
database
bayesian networks
computer science
multiresolution
state space
logic programming
answer set programming
constraint solving