Towards “Propagation = Logic + Control”

DOI10.1007/11799573_10zbMath1131.68368arXivcs/0608015OpenAlexW1551372652MaRDI QIDQ5449595

Roland H. C. Yap, Sebastian Brand

Publication date: 11 March 2008

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

Full work available at URL: https://arxiv.org/abs/cs/0608015

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Implementing logical connectives in constraint programming

This page was built for publication: Towards “Propagation = Logic + Control”