Newsgroups: comp.constraints
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!nntp.sei.cmu.edu!news.psc.edu!hudson.lm.com!news.math.psu.edu!CTCnet!newsfeed.pitt.edu!uunet!in2.uu.net!salliemae!newsfeed.internetmci.com!EU.net!Germany.EU.net!Frankfurt.Germany.EU.net!Munich.Germany.EU.net!ecrc!acrab60!thom
From: thom@ecrc.de (Thom Fruehwirth)
Subject: Re: Turning a n-ary constraint graph into a
Message-ID: <DHEvM6.Gso@ecrc.de>
Sender: news@ecrc.de
Reply-To: thom@ecrc.de
Organization: European Computer-Industry Research Centre GmbH.
References: <DHEuwp.GC7@ecrc.de>
Date: Thu, 2 Nov 1995 10:25:17 GMT
Lines: 15

There is a typo in my last posting, add the underlined words in:

	Assume I is the result of taking the squareroot of N and rounding
	it downwards and squaring it in the following binary constraints:
	             ---------------

	add(N,X) if X=N-I and X>=0
	add(N,Y) if Y=2*I-N and Y>=0
	add(N,Z) if Z=I


---
thom
http://www.ecrc.de/staff/thom/

