Reasoning on constraints in CLP(FD)

DOI10.1016/S0743-1066(98)10016-XzbMath0911.68035MaRDI QIDQ4223456

Paola Mello, Michela Milano, Evelina Lamma

Publication date: 3 January 1999

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

qualitative reasoningconstraint logic programmingfinite domains

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: Reasoning on constraints in CLP(FD)