COMET
From MaRDI portal
COMET Q15584
Cited in
(only showing first 100 items - show all)- Challenges in Enterprise Wide Optimization for the Process Industries
- Algorithms and Data Structures
- LocalSolver 1.x: A black-box local-search solver for 0-1 programming
- Contraint-based combinators for local search
- Constraint programming-based column generation
- Constraint-based local search for constrained optimum paths problems
- The car sequencing problem: overview of state-of-the-art methods and industrial case-study of the ROADEF'2005 challenge problem
- ParadisEO-MO: from fitness landscape analysis to efficient local search algorithms
- Metaheuristics for the portfolio selection problem
- Combining two pheromone structures for solving the car sequencing problem with ant colony optimization
- MiniCP: a lightweight solver for constraint programming
- Bounding, filtering and diversification in CP-based local branching
- Two local search approaches for solving real-life car sequencing problems
- Spatial and objective decompositions for very large SCAPs
- Global constraint catalogue: past, present and future
- Nondeterministic control for hybrid search
- Contractor programming
- Distributed Constraint-Based Local Search
- Maintaining longest paths incrementally
- Constraint propagation as information maximization
- The weighted grammar constraint
- The design of the zinc modelling language
- DPvis
- iOpt
- SDSAT
- CORO
- LSSPER
- SALSA
- CHIP
- FRODO__2
- EasyLocal++
- CSPLib
- LocalSolver
- Mosel
- TSPTW
- WSAT(OIP)
- Choco
- FlatZinc
- Gecode
- MiniZinc
- JaCoP
- Cadmium
- Oz
- B-Prolog
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- CPGraph
- Zinc
- ChainSAT
- OscaR
- G12
- NSPLib
- COIN/BCP
- Grid BnB
- Sparrow2011
- fzn2smt
- Kangaroo
- MinisatID
- VIFID/TRIFID
- 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
- An overview of Ciao and its design philosophy
- pyrgg
- Integrating operations research in constraint programming
- Monadic constraint programming
- Model-driven visualizations of constraint-based local search
- 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
- An integrated search heuristic for large-scale flexible job shop scheduling problems
- Visual search tree profiling
- Parallel Local Search in Comet
- Metaheuristics -- the metaphor exposed
- \(\text{ECL}^{\text{i}}\text{PS}^{\text{e}}\) -- from LP to CLP
- MILP, pseudo-Boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks
- A constraint-based local search backend for MiniZinc
- Hybrids of Constructive Metaheuristics and Constraint Programming: A Case Study with ACO
- Revisiting the soft global cardinality constraint
- A tight analysis of the Katriel-Bodlaender algorithm for online topological ordering
This page was built for software: COMET
