MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Search-Tree Visualisation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Solver - An Oz Search Debugger
by Christian Schulte — 1995
… and to visualise parts of it as soon as they are explored. Each node in the explored part of the search tree…
Cited by 1 (0 self) – Add To MetaCart

VISEXP: visualizing constraint solver dynamics using explanations
by Mohammad Ghoniem And, Mohammad Ghoniem, Narendra Jussien, Rue Alfred Kastler — 2004 — in FLAIRS'04: Seventeenth international Florida Artificial Intelligence Research Society conference, ( Miami Beach, FL, 2004), AAAI
…, search tree visualisation tools are misled by the branching schemes used in constraint solving that may…
Add To MetaCart

CP Debugging Tools
by A. Aggoun, F. Benhamou, F. Bueno, M. Carro, P. Deransart, W. Drabent, G. Ferrand, F. Goualard, M. Hermenegildo, C. Lai, J. Lloyd, G. Puebla, A. Tessier
… basic tools (search tree visualisation, provers, generators, static, dynamic and declarative diagnosers…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB