swMATH6272MaRDI QIDQ18403FDOQ18403
Author name not available (Why is that?)
Official website: http://www.gecode.org/
Cited In (only showing first 100 items - show all)
- MiniZinc with strings
- Fleet design optimisation from historical data using constraint programming and large neighbourhood search
- Visual search tree profiling
- Balancing bike sharing systems with constraint programming
- Exact solution of graph coloring problems via constraint programming and column generation
- MiniBrass: soft constraints for MiniZinc
- Feasibility pump 2.0
- Constraint programming-based column generation
- Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules
- On the reification of global constraints
- DPvis
- PSPLIB
- Mosel
- BSPonMPI
- Choco
- FlatZinc
- MiniZinc
- JaCoP
- Cadmium
- MULKNAP
- B-Prolog
- Cardinal
- NumberJack
- ToulBar2
- BL data set
- CaSPER
- CPGraph
- AllDifferent
- Zinc
- HAMPI
- Azucar
- OscaR
- GlueMiniSat
- G12
- Proteus
- MINION
- Sugar
- COIN/BCP
- SICStus
- MC2
- fzn2smt
- Kangaroo
- Oscar.cbls
- SALBPGen
- json2run
- OR-tools
- SATGraf
- VIFID/TRIFID
- Bison
- Contractor programming
- Constraint-based large neighborhood search for machine reassignment. A solution approach to the ROADEF/EURO challenge 2012
- PASS
- FES
- MiningZinc
- Z3-str
- cc(FD)
- ILOG SCHEDULE
- mplp2
- OpenGM
- OPL
- iZplus
- Picat-SAT
- ESRA
- StrSolve
- WAPTEC
- MiniSearch
- Lucene
- CBack
- Oz Explorer
- llama
- CHUFFED
- G2C
- Essence
- Democratix
- Krimp
- LibTW
- FaCiLe
- DiSCiPl
- HIBISCUS
- Knet
- SymJS
- MiniBrass
- CryptoSAT
- pMapper
- OMG
- Explaining circuit propagation
- Solving constraint satisfaction problems with SAT modulo theories
- Philosophy of the MiniZinc challenge
- MulticoreBSP
- IBM ILOG CP optimizer for scheduling. 20+ years of scheduling with constraints at IBM/ILOG
- Propagation via lazy clause generation
- A constraint programming model for fast optimal stowage of container vessel bays
- Multi-language evaluation of exact solvers in graphical model discrete optimization
- G2C: cryptographic protocols from goal-driven specifications
- Ant colony optimization for path planning in search and rescue operations
- A constraint programming-based approach to a large-scale energy management problem with varied constraints
- Solving a real-life, large-scale energy management problem
- \textsc{Tor}: modular search with hookable disjunction
- Applying constraint logic programming to SQL test case generation
- Block structured scheduling using constraint logic programming
This page was built for software: Gecode
