Localizer
From MaRDI portal
Software:33049
No author found.
Related Items (20)
Unnamed Item ⋮ Contraint-based combinators for local search ⋮ Generic incremental algorithms for local search ⋮ Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems ⋮ Unnamed Item ⋮ Exploiting variable associations to configure efficient local search algorithms in large-scale binary integer programs ⋮ Differentiable Invariants ⋮ Model Checking Spatial Logics for Closure Spaces ⋮ Unnamed Item ⋮ LocalSolver 1.x: A black-box local-search solver for 0-1 programming ⋮ Essence: A constraint language for specifying combinatorial problems ⋮ Integrating operations research in constraint programming ⋮ Integrating operations research in constraint programming ⋮ A unified framework for partial and hybrid search methods in constraint programming ⋮ Localizer: A Modeling Language for Local Search ⋮ Real-time solving of computationally hard problems using optimal algorithm portfolios ⋮ Principles and Practice of Constraint Programming – CP 2003 ⋮ Principles and Practice of Constraint Programming – CP 2004 ⋮ Control abstractions for local search ⋮ Maintaining longest paths incrementally
This page was built for software: Localizer
