Tools for Search Tree Visualization: The APT Tool

Carro Liñares, Manuel and Hermenegildo, Manuel V. (2000). Tools for Search Tree Visualization: The APT Tool. In: "Analysis and Visualization Tools for Constraint Programming". Lecture Notes in Computer Science (1870). Springer Berlin Heidelberg, pp. 237-252. ISBN 9783540411376. https://doi.org/10.1007/10722311_10.

Description

Title: Tools for Search Tree Visualization: The APT Tool
Author/s:
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Editor/s:
  • Deransart, Pierre
  • Hermenegildo Salinas, Manuel Vicente
  • Małuszynski, Jan
Item Type: Book Section
Title of Book: Analysis and Visualization Tools for Constraint Programming
Date: September 2000
ISBN: 9783540411376
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (783kB) | Preview

Abstract

The control part of the execution of a constraint logic program can be conceptually shown as a search-tree, where nodes correspond to calis, and whose branches represent conjunctions and disjunctions. This tree represents the search space traversed by the program, and has also a direct relationship with the amount of work performed by the program. The nodes of the tree can be used to display information regarding the state and origin of instantiation of the variables involved in each cali. This depiction can also be used for the enumeration process. These are the features implemented in APT, a tool which runs constraint logic programs while depicting a (modified) search-tree, keeping at the same time information about the state of the variables at every moment in the execution. This information can be used to replay the execution at will, both forwards and backwards in time. These views can be abstracted when the size of the execution requires it. The search-tree view is used as a framework onto which constraint-level visualizations (such as those presented in the following chapter) can be attached.

More information

Item ID: 14564
DC Identifier: http://oa.upm.es/14564/
OAI Identifier: oai:oa.upm.es:14564
DOI: 10.1007/10722311_10
Official URL: http://link.springer.com/chapter/10.1007%2F10722311_10?LI=true
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 28 Feb 2013 09:16
Last Modified: 21 Apr 2016 14:17
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM