[Oz] Custom search strategies for choice points.
Christian Schulte
schulte at ps.uni-sb.de
Wed Mar 3 16:17:59 CET 1999
The ideas needed to build your own search strategies are presented in
the following research paper:
Christian Schulte, Programming Constraint Inference Engines, CP'97.
available at: http://www.mozart-oz.org/papers/abstracts/Engines.html
Unfortunately, there is no tutorial material yet available. Please do
not hesitate to ask if you need more info.
Best regards
--Christian
------------------------------------------------------------------------
Christian Schulte, Programming Systems Lab, DFKI GmbH
Postfach 15 11 50, 66041 Saarbrücken, Germany
Tel: +49 681 302-5340; Fax: +49 681 302-5615 Net: schulte at dfki.de
URL: http://www.ps.uni-sb.de/~schulte/
-
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/.
More information about the mozart-users
mailing list