Visual search tree profiling

DOI10.1007/S10601-015-9202-1zbMath1334.90170OpenAlexW1155831713MaRDI QIDQ265707

Maxim Shishmarev, Maria Garcia de la Banda, Guido Tack, Christopher Mears

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

comparisonvisualisationconstraint programmingprofilingsearch tree

Mathematics Subject Classification ID

Nonlinear programming (90C30)

Related Items (1)

How efficient is a global constraint in practice? A fair experimental framework

Uses Software

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

Cites Work

• Model-driven visualizations of constraint-based local search
• SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers
• Removing propagation redundant constraints in redundant modeling
• Theory and Applications of Satisfiability Testing
• Understanding the Potential of Propagators
• Unnamed Item
• Unnamed Item

This page was built for publication: Visual search tree profiling