Gecode
From MaRDI portal
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
- MiniBrass: soft constraints for MiniZinc
- Feasibility pump 2.0
- Constraint programming-based column generation
- 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
- MinisatID
- OR-tools
- SATGraf
- VIFID/TRIFID
- Bison
- PASS
- FES
- MiningZinc
- S3
- Z3-str
- DAOOPT
- 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
- ExpoSE
- 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
- CP Optimizer
- Solr
- MiniCP
- 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
- \textsc{Tor}: modular search with hookable disjunction
- Propagation engine prototyping with a domain specific language
- Graph matching problems and the NP-hardness of sortedness constraints
This page was built for software: Gecode
