Constructive negation of arithmetic constraints using dataflow graphs

DOI10.1023/A:1009753625663zbMath0889.68024OpenAlexW1608696820MaRDI QIDQ1370977

John G. Cleary

Publication date: 2 June 1998

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1009753625663

zbMATH Keywords

Prologconstraint logic programmingdataflow graph

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: Constructive negation of arithmetic constraints using dataflow graphs