[eclipse-clp-users] Mixed-integer problems making use of the alldifferent constraint

Hi

I am a 3rd year PhD student from Nantes, France, under the direction of
Pr. Laurent Granvilliers and Dr. Frédéric Goualard, in the "Laboratoire
d'Informatique de Nantes-Atlantique" (LINA). Our research topic (my thesis
topic) is about mixed-integer constraint satisfaction techniques.

We are currently looking for constraint satisfaction problems or
optimization problems which would make use of alldifferent constraints on
integer variables AND arithmetic constraints on real variables. We
actually need to evaluate some of our ideas about efficiently relaxing the
alldifferent constraint in a mixed-integer interval solver (namely
'RealPaver').

We successfully tested our algorithms on pure discrete problems, such as
the N queens problem, but we also need to run these algorithms on
mixed-integer problems. Do you know where we could find some problems of
this kind ?


Regards,
Nicolas Berger.











>
> ----------  Weitergeleitete Nachricht  ----------
>
> Betreff: New subscription request to list Scip from
> nicolas.berger_at_univ-nantes.fr
> Datum: Donnerstag 02 Oktober 2008
> Von: scip-owner_at_zib.de
> An: scip-owner_at_zib.de
>
> Your authorization is required for a mailing list subscription request
approval:
>
>     For:  nicolas.berger_at_univ-nantes.fr
>     List: scip_at_zib.de
>
> At your convenience, visit:
>
>     http://listserv.zib.de/mailman/admindb/scip
>
> to process the request.
>
> -------------------------------------------------------
>