/usr/share/mozart/doc/fdt/node2.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>2 Propagate and Distribute</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="node1.html#chapter.intro"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node13.html#chapter.problem">Next >></A></TD></TR></TABLE><DIV id="chapter.constraints"><H1><A name="chapter.constraints">2 Propagate and Distribute</A></H1><P>This section presents the architecture of constraint-based problem solving at the concrete instance of finite domain problems. We will often refer to the underlying solution method with the slogan ``propagate and distribute''. The slogan recalls the two inference rules of the method, constraint propagation and constraint distribution. </P><HR><UL class="toc"><LI><A href="node3.html#section.constraints.constraints">2.1 Finite Domains and Constraints</A></LI></UL><UL class="toc"><LI><A href="node4.html#section.constraints.propagation">2.2 Constraint Propagation</A></LI></UL><UL class="toc"><LI><A href="node5.html#section.constraints.spaces">2.3 Spaces, Propagators, and Constraint Stores</A></LI></UL><UL class="toc"><LI><A href="node6.html#section.constraints.intdom">2.4 Interval and Domain Propagation</A></LI></UL><UL class="toc"><LI><A href="node7.html#section.constraints.incomplete">2.5 Incompleteness of Propagation</A></LI></UL><UL class="toc"><LI><A href="node8.html#section.constraints.dast">2.6 Distribution and Search Trees</A></LI></UL><UL class="toc"><LI><A href="node9.html#section.constraints.example">2.7 An Example</A></LI></UL><UL class="toc"><LI><A href="node10.html#section.constraints.distribution">2.8 Distribution Strategies</A></LI></UL><UL class="toc"><LI><A href="node11.html#section.constraints.order">2.9 Search Order</A></LI></UL><UL class="toc"><LI><A href="node12.html#section.constraints.models">2.10 Models</A></LI></UL></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node1.html#chapter.intro"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node13.html#chapter.problem">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>
|