Recommendations
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
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)