[gecode-users] Maximal consistent assignment

[benoitlaurent at neuf.fr]

Hello,

My question may be stupid but I am a newbie with Gecode.
I would like to implement the notion of partial consistent assignment (http://www.fi.muni.cz/~hanka/publ/sac05.pdf).
More precisely, I am looking for a maximal consistent assignment.
Is it natively managed in GECODE ?

I made a first attempt : I added a dummy value in the domain of each variable. During the search process, I put constraints on the number of "unassigned variables" to minimise it. Is it the proper way to deal with partial consistent assignment in GECODE ?

Thanks in advance.

Benoît
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20081020/3ce07cc6/attachment.htm>