Login / Signup
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