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

From: Nicolas BERGER <Nicolas.Berger_at_...62...>
Date: Wed, 5 Nov 2008 13:15:13 +0100 (CET)

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

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 ?

Nicolas Berger.

> ----------  Weitergeleitete Nachricht  ----------
> Betreff: New subscription request to list Scip from
> nicolas.berger_at_...62...
> Datum: Donnerstag 02 Oktober 2008
> Von: scip-owner_at_...150...
> An: scip-owner_at_...150...
> Your authorization is required for a mailing list subscription request
>     For:  nicolas.berger_at_...62...
>     List: scip_at_...150...
> At your convenience, visit:
>     http://listserv.zib.de/mailman/admindb/scip
> to process the request.
> -------------------------------------------------------
Received on Wed Nov 05 2008 - 12:44:00 CET

This archive was generated by hypermail 2.3.0 : Wed Aug 21 2019 - 09:13:31 CEST