Using parametric set constraints for locating errors in CLP programs.

Wlodzimierz Drabent Jan Maluszynski Pawel Pietrzak

Published in: Theory Pract. Log. Program. (2002)

Keyphrases

linear constraints
image sequences
small number
artificial intelligence
database systems
evolutionary algorithm
programming language
constraint programming
finite number
cardinality constraints
constraint language