/usr/share/mozart/doc/system/node9.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 Search Engines: Search</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="node8.html#chapter.types_modes_constr"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node14.html#chapter.fd">Next >></A></TD></TR></TABLE><DIV id="chapter.search"><H1><A name="chapter.search">4 Search Engines: <CODE>Search</CODE></A></H1><P> This chapter describes various search engines. The engines fall into the following categories. </P><DL><DT>Basic Search Engines </DT><DD><P>Easy to use engines for single, all, and best solution search. </P></DD><DT>General Purpose Search Engines </DT><DD><P>Engines that offer additional support for: </P><DL><DT>Recomputation </DT><DD><P>Recomputation allows to trade space for time, allowing to solve problems which otherwise would use too much memory. </P></DD><DT>Killing </DT><DD><P>The execution of engines can be killed. </P></DD><DT>Output </DT><DD><P>Solutions computed can be returned as procedures or first-class computation spaces. </P></DD></DL><P> </P></DD></DL><P> </P><P class="margin"><A href="node12.html#sec.search.object">Search Object</A></P><P> The search object supports demand-driven search for single, all, and best solutions. Search can be stopped and resumed as needed. The object supports recomputation and the different kinds of output as described above. </P><P class="margin"><A href="node13.html#section.search.parallel">Parallel Search Engines</A></P><P> Parallel search engines use multiple networked computers to speed up the exploration of search trees. During exploration of a search tree entire subtrees are delegated to Oz engines that run on different computers in parallel. </P><P class="margin">Oz Explorer</P><P> Besides of the engines described here, Mozart features the OzExplorer, an interactive graphical search engine. A short description of its use can be found in <A href="../fdt/node16.html#section.problem.explorer">Section 3.3 of ``Finite Domain Constraint Programming in Oz. A Tutorial.''</A>. Reference information on the Oz Explorer can be found in <A href="../explorer/index.html">``Oz Explorer - Visual Constraint Programming Support''</A>, a research paper is <A href="bib.html#explorer.97">[Sch97]</A>. </P><P></P><HR><UL class="toc"><LI><A href="node10.html#vanillasearch">4.1 Basic Search Engines</A></LI></UL><UL class="toc"><LI><A href="node11.html#generalsearch">4.2 General Purpose Search Engines</A><UL class="toc"><LI><A href="node11.html#label50">4.2.1 Single Solution Search</A></LI><LI><A href="node11.html#label69">4.2.2 All Solution Search</A></LI><LI><A href="node11.html#section.best.solution.search">4.2.3 Best Solution Search</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node12.html#sec.search.object">4.3 <CODE>Search<SPAN class="keyword">.</SPAN>object</CODE></A></LI></UL><UL class="toc"><LI><A href="node13.html#section.search.parallel">4.4 Parallel Search Engines</A><UL class="toc"><LI><A href="node13.html#section.search.parallel.example">4.4.1 An Example</A></LI><LI><A href="node13.html#section.search.parallel.api">4.4.2 The Class <CODE>Search<SPAN class="keyword">.</SPAN>parallel</CODE></A></LI></UL></LI></UL></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node8.html#chapter.types_modes_constr"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node14.html#chapter.fd">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys Duchier</A>, <A href="http://www.ps.uni-sb.de/~kornstae/">Leif Kornstaedt</A>, <A href="http://www.ps.uni-sb.de/~homik/">Martin Homik</A>, <A href="http://www.ps.uni-sb.de/~tmueller/">Tobias Müller</A>, <A href="http://www.ps.uni-sb.de/~schulte/">Christian Schulte</A> and <A href="http://www.info.ucl.ac.be/~pvr">Peter Van Roy</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|