Model-driven visualizations of constraint-based local search

DOI10.1007/S10601-008-9063-YMaRDI QIDQ2272159zbMATH OpenOpenAlexFDO

Authors Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel

Publication date 6 August 2009

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10601-008-9063-y

zbMATH Keywords

optimization algorithmconstraint-based local searchmodel-driven visualization

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Approximation methods and heuristics in mathematical programming (90C59)

Recommendations

• Visual search tree profiling
• Feature Article—Visualization and Optimization
• Constraint-based very large-scale neighborhood search
• A constraint-based local search backend for MiniZinc
• scientific article; zbMATH DE number 2080316

Cites work

• scientific article; zbMATH DE number 2080309 (Why is no real title available?)
• Parallel Local Search in Comet

Cited in

(7)

• Visual search tree profiling
• MiniCP: a lightweight solver for constraint programming
• A constraint-based local search backend for MiniZinc
• Local Search For Satisfiability Modulo Integer Arithmetic Theories
• Local Search for SMT on Linear Integer Arithmetic
• MILP, pseudo-Boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks
• A microkernel architecture for constraint programming

Describes a project that uses

Uses Software

• HiRise
• DiSCiPl
• APT
• Oz Explorer
• OPL
• VIFID/TRIFID
• CHIP
• COMET

This page was built for publication: Model-driven visualizations of constraint-based local search

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