Gecode
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Combining tree partitioning, precedence, and incomparability constraints
- Feasibility pump 2.0
- DPvis
- PSPLIB
- SeaPearl
- LSSPER
- SALSA
- COMET
- CHIP
- SOFT
- IBM ILOG CP optimizer for scheduling. 20+ years of scheduling with constraints at IBM/ILOG
- Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings
- CSPLib
- Deleting edges to restrict the size of an epidemic: a new application for treewidth
- Designing end-to-end resource reservations in predictable distributed embedded systems
- SelfSplit parallelization for mixed-integer linear programming
- Solving a selective dial-a-ride problem with logic-based Benders decomposition
- Automatically improving constraint models in Savile Row
- Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems
- Auto-tabling for subproblem presolving in MiniZinc
- Mosel
- A microkernel architecture for constraint programming
- BSPonMPI
- Orbital shrinking: theory and applications
- Choco
- MiniZinc
- FlatZinc
- JaCoP
- MULKNAP
- Cadmium
- B-Prolog
- Cardinal
- A constraint programming model for fast optimal stowage of container vessel bays
- ToulBar2
- NumberJack
- Design and implementation of bounded-length sequence variables
- Combining CP and ILP in a tree decomposition of bounded height for the sum colouring problem
- BL data set
- Zinc
- Dashed strings for string constraint solving
- CaSPER
- CPGraph
- A collection of constraint programming models for the three-dimensional stable matching problem with cyclic preferences
- Ant colony optimization for path planning in search and rescue operations
- AllDifferent
- Short-term scheduling of production fleets in underground mines using CP-based LNS
- SeaPearl: a constraint programming solver guided by reinforcement learning
- Physician scheduling during a pandemic
- \textsc{Conjure}: automatic generation of constraint models from problem specifications
- Towards Copeland optimization in combinatorial problems
- A parallel algorithm for GAC filtering of the Alldifferent constraint
- Sugar
- HAMPI
- OscaR
- Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs
- GlueMiniSat
- Proteus
- Azucar
- G12
- MINION
- Propagation via lazy clause generation
- Computing AES related-key differential characteristics with constraint programming
- Core group placement: allocation and provisioning of heterogeneous resources
- Constraint programming for dynamic symbolic execution of JavaScript
- Generating compound moves in local search by hybridisation with complete search
- Investigating constraint programming for real world industrial test laboratory scheduling
- MiniBrass: soft constraints for MiniZinc
- On the reification of global constraints
- View-based propagator derivation
- Explaining circuit propagation
- Propagation engine prototyping with a domain specific language
- Lightweight dynamic symmetry breaking
- A quadratic edge-finding filtering algorithm for cumulative resource constraints
- View-based propagation of decomposable constraints
- A cumulative not-first/not-last filtering algorithm in \(O(n^2 \log(n))\)
- Multi-language evaluation of exact solvers in graphical model discrete optimization
- Graph matching problems and the NP-hardness of sortedness constraints
- MiniZinc with strings
- Solving a real-life, large-scale energy management problem
- A constraint programming-based approach to a large-scale energy management problem with varied constraints
- COIN/BCP
- SICStus
- \textsc{Tor}: modular search with hookable disjunction
- MC2
- On solving a hard quadratic 3-dimensional assignment problem
- fzn2smt
- Oscar.cbls
- Kangaroo
- SALBPGen
- Fleet design optimisation from historical data using constraint programming and large neighbourhood search
- Visual search tree profiling
- Underground mine scheduling of mobile machines using constraint programming and large neighborhood search
- json2run
- VIFID/TRIFID
- MinisatID
- SATGraf
- OR-tools
- An algorithm selection approach for the flexible job shop scheduling problem: choosing constraint programming solvers through machine learning
- Balancing bike sharing systems with constraint programming
- Modeling with metaconstraints and semantic typing of variables
This page was built for software: Gecode
