The Proper Treatment of Undefinedness in Constraint Languages [chapter]

Alan M. Frisch, Peter J. Stuckey
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Any sufficiently complex finite-domain constraint modelling language has the ability to express undefined values, for example division by zero, or array index out of bounds. This paper gives the first systematic treatment of undefinedness for finite-domain constraint languages. We present three alternative semantics for undefinedness, and for each of the semantics show how to map models that contain undefined expressions into equivalent models that do not. The resulting models can be implemented using existing constraint solving technology.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-04244-7_30">doi:10.1007/978-3-642-04244-7_30</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dk4yyozkhzculbec7r5n4sycmu">fatcat:dk4yyozkhzculbec7r5n4sycmu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401024202/http://ww2.cs.mu.oz.au/~pjs/papers/cp09-ud.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e7/d1/e7d1ac8dcb63d2fdc16193afb4728d7024a76a95.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-04244-7_30"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>