[eclipse-users] Dual Enconding CSP

From: Christian Riquelme <ch.riquelme_at_gmail.com>
Date: Wed, 24 Oct 2007 18:32:01 -0300
Hi, sorry my bad english, i'm trying to code a CSP with dual encoding, but i
dont know how define the restriction and variables in this case.

This is the problem

http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume24/samaras05a-html/node7.html

i think for variables..

[V1]::[(0,0,1),(0,1,0),(1,0,0)],
[V2]::[(0,0,1),(1,0,0),(1,1,1)],
[V3]::[(0,1,0),(1,0,0),(1,1,0),(1,1,1)],
[V4]::[(0,0,0),(0,1,1),(1,0,1)],

restriction ????

thanks at all.
Received on Wed Oct 24 2007 - 22:32:08 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET