[Oz] Who (where and how many) are we?

[Luis Omar Quesada Ramirez]

> I think it is time to tell about us.
> 
> We are a french company using Mozart/Oz to do our
> planning, optimization tool.
> We are still at an early stage of our developpment
> but Mozart seem to fullfill
> our need.
> 
> We still have some performance problems but we are
> still improving and
> optimizing the code and I think we will reach a
> state were the tool will be
> quite usefull.
> 
> Are there any other people writing industrial
> planning software with Mozart ?
> What do you think ? Are you doing well ?
> 

Currently, we are working on solving the timetabling
problem of our university (Pontificia Universidad
Javeriana – Cali (Colombia, South America)). Pathos is
the software we have implemented to achieve that goal.
At the moment, mostly due to the help received from
Mozart’s developers,  Pathos is able to solve the case
of our  faculty of Engineering. This case has 2122
finite domain variables which is big enough
considering the current state of the art for this kind
of problems. 

Recently, taking advantage of the implementation code
of adaptive search engine (which was kindly provided
by Christian Schulte) we were able to come up with a
new search engine that considerably reduced the
running time of our application. Now, Pathos takes 9
minutes solving the case mentioned. In the past,
Pathos used to take 72 minutes solving the same case.

The new search engine uses the time between two saved
spaces as a parameter. For instance,  the number 15
in:

{NewSearchOne Script 15}

means to save a space each 15 seconds. This new
criterion to save spaces led to a better distribution
of the saved spaces in our case since the depth of our
search tree is 5932 and getting level 3190 takes less
than a minute (even when no space is saved!).

Certainly, we hope to speak in more detail about
Pathos and this new search engine in CP2001. Our aim
is to make the new search engine public after proving
its usability in different contexts.

Cheers,

Luis
http://ingenieria.puj.edu.co/sistemas/profesores/lquesada/



_________________________________________________________
Do You Yahoo!?
Obtenga su dirección de correo-e gratis @yahoo.com
en http://correo.espanol.yahoo.com
-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.