SODA

Entailment of finite domain constraints

Carlson, Björn and Carlsson, Mats and Diaz, Daniel (1994) Entailment of finite domain constraints. In: ICLP'94, International Conference on Logic Programming, 13-18 June 1994, Santa Margherita Ligure, Italy.

[img]
Preview
PDF
188Kb
[img]
Preview
Postscript
201Kb

Item Type:Conference or Workshop Item (Paper)
Additional Information:The MIT Press. P. Van Hentenryck, editor. ftp://ftp.sics.se/pub/isl/papers/iclp94.ps.gz
ID Code:3124
Deposited By:Vicki Carleson
Deposited On:08 Sep 2009
Last Modified:18 Nov 2009 16:17

Repository Staff Only: item control page