[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