@inproceedings{fc49d1bafe07421db0ea5875e6f31e59,
title = "Visualizations to Summarize Search Behavior",
abstract = "In this paper, we argue that metrics that assess the performance of backtrack search for solving a Constraint Satisfaction Problem should not be visualized and examined only at the end of search, but their evolution should be tracked throughout the search process in order to provide a more complete picture of the behavior of search. We describe a process that organizes search history by automatically recognizing qualitatively significant changes in the metrics that assess search performance. To this end, we introduce a criterion for quantifying change between two time instants and a summarization technique for organizing the history of search at controllable levels of abstraction. We validate our approach in the context of two algorithms for enforcing consistency: one that is activated by a surge of backtracking and the second that modifies the structure of the constraint graph. We also introduce a new visualization for exposing the behavior of variable ordering heuristics and validate its usefulness both as a standalone tool and when displayed alongside search history.",
keywords = "Constraint Satisfaction, Search, Visualization",
author = "Howell, {Ian S.} and Choueiry, {Berthe Y.} and Hongfeng Yu",
note = "Funding Information: This research is supported by NSF Grant No. RI-1619344 and NSF CAREER Award No. III-1652846. The experiments were completed utilizing the Holland Computing Center of the University of Nebraska, which receives support from the Nebraska Research Initiative. Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG.; 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 ; Conference date: 07-09-2020 Through 11-09-2020",
year = "2020",
doi = "10.1007/978-3-030-58475-7_23",
language = "English (US)",
isbn = "9783030584740",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "392--409",
editor = "Helmut Simonis",
booktitle = "Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Proceedings",
address = "Germany",
}