Tools for Search-Tree Visualisation: The APT Tool

Manuel Carro, Manuel V. Hermenegildo. Tools for Search-Tree Visualisation: The APT Tool. In Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project). Volume 1870 of Lecture Notes in Computer Science, pages 237-252, Springer, 2000.

Abstract

Abstract is missing.