Model-driven visualizations of constraint-based local search

DOI10.1007/S10601-008-9063-YzbMATH Open1179.68141OpenAlexW2604163011MaRDI QIDQ2272159FDOQ2272159

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

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

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)

Cites Work

• Title not available (Why is that?)
• 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

Uses Software

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

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)