Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!uwm.edu!zaphod.mps.ohio-state.edu!usc!wuarchive!mit-eddie!uw-beaver!ubc-cs!fornax!miron
From: miron@fornax.UUCP (Miron Cuperman)
Newsgroups: comp.ai
Subject: Re: Arc COnonsistency On > Hyperarcs...
Message-ID: <921@fornax.UUCP>
Date: 6 Jul 90 00:55:07 GMT
References: <1990Jul03.144321.10073@unx.sas.com>
Distribution: na
Organization: School of Computing Science, SFU, Burnaby, B.C. Canada
Lines: 12

I have implemented k-ary arc consistency.  I think there are several
references out there.  The expense is proportional to the cross product
of the sets and not to the power set of course.

Real intervals also work with k-ary arc consistency, and may be quite
a bit faster for domains which require precision (which when expressed
in discrete sets make the sets very large).
-- 
	By me: Miron Cuperman <miron@cs.sfu.ca>
	[if you use 'reply' check that the address the mailer uses is correct.]
	The long habit of living indisposeth us for dying.
			- Sir Thomas Browne