/usr/share/mozart/doc/fst/index.html

1
2

<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>Problem Solving with Finite Set Constraints in Oz. A Tutorial.</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><P class="margin"><A href="../index.html">Top</A><BR><A href="http://www.mozart-oz.org/download/view.cgi?action=print&class=tutorial&name=FiniteSetProgramming">Print</A></P><H1 align="center" class="title">Problem Solving with Finite Set Constraints in Oz. A Tutorial.</H1><H2 align="center" class="authors"><A href="http://www.ps.uni-sb.de/~tmueller/">Tobias&nbsp;Müller</A></H2><BLOCKQUOTE><P>This document is an introduction to finite set constraint programming in Oz. Consequently, it focuses on finite set constraints but uses them in conjunction with finite domain constraints. Further, basic concepts of constraint programming will not be explained in this document. Hence, it is strongly recommended to read this tutorial after reading <A href="../fdt/index.html">``Finite Domain Constraint Programming in Oz. A Tutorial.''</A>. </P></BLOCKQUOTE><HR><UL class="toc"><LI><A href="node1.html#fset.tutorial.intro">1 Introduction</A></LI></UL><UL class="toc"><LI><A href="node2.html#fset.examples.steiner">2 The Steiner Problem</A></LI></UL><UL class="toc"><LI><A href="node3.html#fset.examples.hamming">3 Generating Hamming Codes</A></LI></UL><UL class="toc"><LI><A href="node4.html#fset.examples.binpacking">4 Packing Files onto Disks</A></LI></UL><UL class="toc"><LI><A href="node5.html#fset.examples.crew">5 A Crew Allocation Problem</A></LI></UL><UL class="toc"><LI><A href="node6.html#fset.examples.golf">6 Scheduling a Golf Tournament</A></LI></UL><UL class="toc"><LI><A href="bib.html#label5">Bibliography</A></LI></UL><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~tmueller/">Tobias&nbsp;Müller</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>

mozart-doc 1.4.0-8ubuntu1 / usr / share / mozart / doc / fst / index.html