SODA

The implementation of AKL(FD)

Carlson, Björn and Janson, Sverker and Carlsson, Mats (1995) The implementation of AKL(FD). In: ILPS'95, International Logic Programming Symposium, 4-7 Dec 1995, Portland, Oregon.

[img]
Preview
PDF
177Kb
[img]
Preview
Postscript
170Kb

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

Repository Staff Only: item control page