CP in Mozart2
torsten.anders at beds.ac.uk
Wed Oct 31 00:04:48 CET 2012
On 30 Oct 2012, at 22:55, Gustavo Gutierrez wrote:
> 2012/10/30 Torsten Anders <torsten.anders at beds.ac.uk>
> On 30 Oct 2012, at 22:30, Gustavo Gutierrez wrote:
> > That means that conceptually there is only one space as described in CTM. Internally that space contains a gecode space that is in charge of constraint propagation. It is worth to say that gecode spaces are a specialization of "mozart spaces" that are fine tunned for constraint programming. Both of them were designed by Christian: computation spaces in "oz-light" are the ones proposed in his PhD thesis and have been available in Mozart since the beginning.
> If a Gecode space is nested in a single Oz space, does that mean that you meanwhile decided to have the branching done by Gecode. In other words, branching/distribution strategies cannot be defined in Oz anymore?
> Our goal regarding this is two folded: first we would like to have all the good things that are already present in gecode. That includes parallel search (i.e. OS threads). Second we would also like to have the possibility of defining both search engines and branching strategies directly in Oz. That is very good for prototyping and to use specific problem information as heuristics right away. In conclusion we will do as much as possible to have the two ways available.
Great, that sounds very promising.
Dr Torsten Anders
Course Leader, Music Technology
University of Bedfordshire
Park Square, Room A315
More information about the mozart-users