COMET
From MaRDI portal
COMET Q15584
Cited in
(only showing first 100 items - show all)- Revisiting constraint-directed search
- DPvis
- iOpt
- SDSAT
- CORO
- LSSPER
- SALSA
- CHIP
- FRODO__2
- EasyLocal++
- CSPLib
- MIP neighborhood synthesis through semantic feature extraction and automatic algorithm configuration
- TSPTW
- WSAT(OIP)
- Exploiting variable associations to configure efficient local search algorithms in large-scale binary integer programs
- LocalSolver
- Mosel
- A microkernel architecture for constraint programming
- Choco
- MiniZinc
- FlatZinc
- Gecode
- JaCoP
- Cadmium
- Oz
- B-Prolog
- Solving the maximum edge disjoint path problem using a modified Lagrangian particle swarm optimisation hybrid
- Zinc
- CPGraph
- ChainSAT
- Combining mixed integer programming and constraint programming to solve the integrated scheduling problem of container handling operations of a single vessel
- OscaR
- G12
- MiniCP: a lightweight solver for constraint programming
- Model-driven visualizations of constraint-based local search
- Large-scale parallelism for constraint-based local search: the costas array case study
- ParadisEO-MO: from fitness landscape analysis to efficient local search algorithms
- Generic incremental algorithms for local search
- NSPLib
- Dantzig-Wolfe decomposition and branch-and-price solving in G12
- COIN/BCP
- \textsc{Tor}: modular search with hookable disjunction
- A tight analysis of the Katriel-Bodlaender algorithm for online topological ordering
- Sparrow2011
- Grid BnB
- fzn2smt
- Kangaroo
- Visual search tree profiling
- Leprechauns on the chessboard
- VIFID/TRIFID
- MinisatID
- Modeling with metaconstraints and semantic typing of variables
- \(\text{ECL}^{\text{i}}\text{PS}^{\text{e}}\) -- from LP to CLP
- An overview of Ciao and its design philosophy
- Transparent parallelization of constraint programming
- Hybrids of Constructive Metaheuristics and Constraint Programming: A Case Study with ACO
- Spatial and objective decompositions for very large SCAPs
- Constraint Programming and Local Search Hybrids
- MiningZinc
- An automaton constraint for local search
- HAS-QAP
- EasyAnalyzer
- MAFRA
- NILS
- Localizer++
- bc-opt
- Newton
- cc(FD)
- Localizer
- OPL
- ToOLS
- DragonBreath
- PonyGE2
- An integrated search heuristic for large-scale flexible job shop scheduling problems
- ESRA
- Parallel Local Search in Comet
- Distributed Constraint-Based Local Search
- Inferring Variable Conflicts for Local Search
- Large neighborhood improvements for solving car sequencing problems
- Oz Explorer
- CBack
- Strong combination of ant colony optimization with constraint programming optimization
- Constraint-based local search for constrained optimum paths problems
- Revisiting the soft global cardinality constraint
- Metaheuristics for the portfolio selection problem
- Constraint propagation as information maximization
- Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search
- Challenges in Enterprise Wide Optimization for the Process Industries
- CHUFFED
- Monadic constraint programming
- Essence
- DOC-BRelax
- APT
- DiSCiPl
- Mistral
- A review of literature on parallel constraint solving
- Sather
- LS(graph): a constraint-based local search for constraint optimization on trees and paths
- Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
- Search combinators
This page was built for software: COMET
