/usr/share/mozart/doc/fdt/node20.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>4 Elimination of Symmetries and Defined Constraints</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node13.html#chapter.problem"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node24.html#chapter.scripts">Next >></A></TD></TR></TABLE><DIV id="chapter.elimination"><H1><A name="chapter.elimination">4 Elimination of Symmetries and Defined Constraints</A></H1><P>In this section you will learn two basic constraint programming techniques. The first technique consists in eliminating symmetries in the model, which often leads to scripts with smaller search trees. The second technique introduces defined constraints, a means for writing modular and concise scripts. </P><HR><UL class="toc"><LI><A href="node21.html#section.elimination.grocery">4.1 Example: Grocery</A><UL class="toc"><LI><A href="node21.html#label55">Problem Specification</A></LI><LI><A href="node21.html#label56">Model</A></LI><LI><A href="node21.html#label57">Distribution Strategy</A></LI><LI><A href="node21.html#label58">Script</A></LI><LI><A href="node21.html#label59">A Subtle Symmetry</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node22.html#section.elimination.family">4.2 Example: Family</A><UL class="toc"><LI><A href="node22.html#label61">Problem Specification</A></LI><LI><A href="node22.html#label62">Model</A></LI><LI><A href="node22.html#label63">Distribution Stratgey</A></LI><LI><A href="node22.html#label64">Script</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node23.html#section.elimination.zebra">4.3 Example: Zebra Puzzle</A><UL class="toc"><LI><A href="node23.html#label67">Problem Specification</A></LI><LI><A href="node23.html#label68">Model</A></LI><LI><A href="node23.html#label69">Distribution Strategy</A></LI><LI><A href="node23.html#label70">Script</A></LI></UL></LI></UL></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node13.html#chapter.problem"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node24.html#chapter.scripts">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~schulte/">Christian Schulte</A> and <A href="http://www.ps.uni-sb.de/~smolka/">Gert Smolka</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|