SODA

Compiling and executing disjunctions of finite domain constraints

Carlson, Björn and Carlsson, Mats (1995) Compiling and executing disjunctions of finite domain constraints. In: ICLP'95, Proceedings of the Twelfth International Conference on Logic Programming, 13-16 June 1995, Tokyo, Japan.

[img]
Preview
PDF
181Kb
[img]
Preview
Postscript
167Kb

Item Type:Conference or Workshop Item (Paper)
Additional Information:The MIT Press, The MIT Press series in Logic Programming, L. Sterling, editor. ftp://ftp.sics.se/pub/isl/papers/iclp95.ps.gz.
ID Code:3074
Deposited By:Vicki Carleson
Deposited On:05 Aug 2008
Last Modified:18 Nov 2009 16:17

Repository Staff Only: item control page