swMATH3051MaRDI QIDQ15584FDOQ15584
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=1804626
Cited In (only showing first 100 items - show all)
- Distributed Constraint-Based Local Search
- ParadisEO-MO: from fitness landscape analysis to efficient local search algorithms
- Visual search tree profiling
- \(\text{ECL}^{\text{i}}\text{PS}^{\text{e}}\) -- from LP to CLP
- MiniCP: a lightweight solver for constraint programming
- A simple and deterministic competitive algorithm for online facility location
- Combining two pheromone structures for solving the car sequencing problem with ant colony optimization
- Global constraint catalogue: past, present and future
- An overview of Ciao and its design philosophy
- Parallel Local Search in Comet
- Monadic constraint programming
- Challenges in Enterprise Wide Optimization for the Process Industries
- Contraint-based combinators for local search
- Algorithms and Data Structures
- Constraint programming-based column generation
- The weighted grammar constraint
- An integrated search heuristic for large-scale flexible job shop scheduling problems
- The design of the zinc modelling language
- Constraint Programming and Local Search Hybrids
- Model-driven visualizations of constraint-based local search
- DPvis
- SDSAT
- EasyLocal++
- LocalSolver
- Mosel
- TSPTW
- WSAT(OIP)
- Choco
- FlatZinc
- Gecode
- MiniZinc
- JaCoP
- Cadmium
- Oz
- B-Prolog
- CPGraph
- Zinc
- ChainSAT
- OscaR
- G12
- NSPLib
- COIN/BCP
- Grid BnB
- Sparrow2011
- fzn2smt
- Kangaroo
- MinisatID
- VIFID/TRIFID
- Contractor programming
- The car sequencing problem: overview of state-of-the-art methods and industrial case-study of the ROADEF'2005 challenge problem
- MAFRA
- MiningZinc
- HAS-QAP
- EasyAnalyzer
- Localizer++
- NILS
- bc-opt
- cc(FD)
- DragonBreath
- Localizer
- Newton
- OPL
- PonyGE2
- ToOLS
- ESRA
- CBack
- Oz Explorer
- CHUFFED
- DOC-BRelax
- Essence
- APT
- DiSCiPl
- Mistral
- Sather
- Metaheuristics for the portfolio selection problem
- Bounding, filtering and diversification in CP-based local branching
- pyrgg
- LocalSolver 1.x: A black-box local-search solver for 0-1 programming
- LS(graph): a constraint-based local search for constraint optimization on trees and paths
- Search combinators
- Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
- Integrating operations research in constraint programming
- Nondeterministic control for hybrid search
- Maintaining longest paths incrementally
- Constraint propagation as information maximization
- Metaheuristics -- the metaphor exposed
- Two local search approaches for solving real-life car sequencing problems
- Spatial and objective decompositions for very large SCAPs
- MiningZinc: a declarative framework for constraint-based mining
- Constraint-based local search for constrained optimum paths problems
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- An automaton constraint for local search
- \textsc{Tor}: modular search with hookable disjunction
- A GRASP approach for the extended car sequencing problem
- Exploiting variable associations to configure efficient local search algorithms in large-scale binary integer programs
- A tight analysis of the Katriel-Bodlaender algorithm for online topological ordering
- A branch‐and‐price approach to k‐clustering minimum biclique completion problem
- Solving the maximum edge disjoint path problem using a modified Lagrangian particle swarm optimisation hybrid
- A review of literature on parallel constraint solving
- Revisiting constraint-directed search
This page was built for software: COMET
