<!DOCTYPE BOOK SYSTEM "ozdoc.dtd" [

<!-- Extension to the DTD -->
<!ENTITY % proglang.values.local "|lambda">

<!-- Include Files -->
<!ENTITY fset_tutorial SYSTEM "fset_tutorial.sgml">
<!ENTITY fset_example SYSTEM "fset_example.sgml">
<!ENTITY fset_example_steiner SYSTEM "fset_example_steiner.sgml">
<!ENTITY fset_example_hamming SYSTEM "fset_example_hamming.sgml">
<!ENTITY fset_example_binpacking SYSTEM "fset_example_binpacking.sgml">
<!ENTITY fset_example_crew SYSTEM "fset_example_crew.sgml">
<!ENTITY fset_example_golf SYSTEM "fset_example_golf.sgml">




<!-- Abbreviations -->
<!ENTITY lt "<">
<!ENTITY gt ">">
<!ENTITY amp "&">
<!ENTITY dot "." -- to distinguish it from periods -->
<!ENTITY oz "Oz">
<!ENTITY moz3 "Mozart Oz 3">
<!ENTITY Gump "Gump">
<!ENTITY lex "<Name type=tool>lex</Name>">
<!ENTITY yacc "<Name type=tool>yacc</Name>">
<!ENTITY flex "<Name type=tool>flex</Name>">
<!ENTITY bison "<Name type=tool>bison</Name>">
<!ENTITY cpi "C<Span class=allcaps>PI</Span>">

<!ENTITY fd_inf "0">
<!ENTITY fs_sup "134217726">
<!ENTITY fs_inf "0">
<!ENTITY fs_sup "134217726">

<!-- Processing Instructions -->
<!ENTITY emdash PI "emdash">
<!ENTITY endash PI "endash">
<!ENTITY nbsp PI "nbsp">
<!ENTITY ellipsis PI "ellipsis">
<!ENTITY slash PI "slash">
<!ENTITY ie PI "ie">
<!ENTITY wrt PI "wrt">
<!ENTITY eg PI "eg">
<!ENTITY resp PI "resp">
<!ENTITY cdots PI "cdots">

]>


<Book proglang="oz">
  <Front>

    <!-- Defining width of tables and pictures -->

    <Meta name="latex.picture.width" arg1="setdistr.pic" 
                                     arg2="0.8\linewidth">

    <Meta name="latex.picture.width" arg1="pic.fset_steiner_naive"
                                     arg2="0.8\linewidth">

    <Meta name="latex.picture.width" arg1="pic.fset_steiner_order"
                                     arg2="0.8\linewidth">

    <Meta name="latex.picture.width" arg1="hamming_browser.pic"
                                     arg2="0.5\linewidth">

    <Meta name="latex.picture.width" arg1="pic.crew_browser"
                                     arg2="0.8\linewidth">

    <Meta name="latex.picture.width" arg1="golf_explorer.pic"
                                     arg2="0.8\linewidth">

    <!-- Splitting the document into different HTML nodes -->

    <Meta name="html.split" value="fset.tutorial.intro">
    <Meta name="html.split" value="fset.examples">
    <Meta name="html.split" value="fset.examples.steiner">
    <Meta name="html.split" value="fset.examples.hamming">
    <Meta name="html.split" value="fset.examples.binpacking">
    <Meta name="html.split" value="fset.examples.crew">
    <Meta name="html.split" value="fset.examples.golf">

    <Meta name="html.split.bib" value="">
    <Meta name="html.split.index" value="">

    <Meta name="latex.picture.width" arg1="pic.fset_steiner_naive" arg2="\linewidth">
    <Meta name="latex.picture.width" arg1="pic.fset_steiner_order" arg2="\linewidth">
    <Meta name="latex.picture.width" arg1="pic.crew_browser" arg2="\linewidth">

    <Meta name=ozversion value="3.0">
    <Meta name=status value="revised">
    <Title/Problem Solving with Finite Set Constraints in &oz;. A Tutorial./
    <Author.Extern to="author.db" key="Tobias.Mueller">

    <Abstract>
      <P.silent>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
      <Ptr.Extern to="ozdoc:fdt">.
    </Abstract>

  <Body>


  &fset_tutorial 
  &fset_example_steiner
  &fset_example_hamming
  &fset_example_binpacking
  &fset_example_crew
  &fset_example_golf

  <Back>
    <Bib.Extern id="Mueller:98a" to="constraints.bib" key="Mueller:98a">
    <Bib.Extern id="LindnerRosa:80" to ="constraints.bib" key="LindnerRosa:80">
    <Bib.Extern id="Muellermueller.wlp.97" to="constraints.bib"
    key="Muellermueller.wlp.97">

</Book>



