Visual search tree profiling

DOI10.1007/S10601-015-9202-1MaRDI QIDQ265707zbMATH OpenOpenAlexFDO

Authors Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia De La Banda

Publication date 12 April 2016

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10601-015-9202-1

zbMATH Keywords

comparisonconstraint programmingprofilingsearch treevisualisation

Mathematics Subject Classification ID

Nonlinear programming (90C30)

Recommendations

• scientific article; zbMATH DE number 1406253
• Fast searching in trees
• Recognizing graph search trees
• Searching Trees with Sources and Targets
• The profile of binary search trees
• Find-and-fetch search on a tree

Cites work

• scientific article; zbMATH DE number 2080316 (Why is no real title available?)
• scientific article; zbMATH DE number 1406253 (Why is no real title available?)
• Model-driven visualizations of constraint-based local search
• Removing propagation redundant constraints in redundant modeling
• Theory and Applications of Satisfiability Testing
• Understanding the potential of propagators
• \textsf{SATGraf}: visualizing the evolution of SAT formula structure in solvers

Cited in

(8)

• Deep Start: a hybrid strategy for automated performance problem searches
• How efficient is a global constraint in practice? A fair experimental framework
• scientific article; zbMATH DE number 1406252 (Why is no real title available?)
• scientific article; zbMATH DE number 7051180 (Why is no real title available?)
• scientific article; zbMATH DE number 2080316 (Why is no real title available?)
• scientific article; zbMATH DE number 1406253 (Why is no real title available?)
• scientific article; zbMATH DE number 2084709 (Why is no real title available?)
• Model-driven visualizations of constraint-based local search

Describes a project that uses

Uses Software

• DPvis
• COMET
• Choco
• Gecode
• VIFID/TRIFID
• ZeroMQ
• MinisatID
• SATGraf
• Oz Explorer
• CHUFFED
• DiSCiPl

This page was built for publication: Visual search tree profiling

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q265707)