An algorithm for linear constraint solving: its incorporation in a prolog meta-interpreter for CLP

DOI10.1016/0743-1066(93)90044-HzbMath0771.68036MaRDI QIDQ5289309

Marie-Dominique Weeger, J.-L. Imbert, Jacques Cohen

Publication date: 23 August 1993

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

zbMATH Keywords

CLP languagemetalevel interpretationsatisfiability of linear constraints

Mathematics Subject Classification ID

Linear programming (90C05) Artificial intelligence (68T99) Logic programming (68N17)

This page was built for publication: An algorithm for linear constraint solving: its incorporation in a prolog meta-interpreter for CLP