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
- On the reification of global constraints
- DPvis
- PSPLIB
- LSSPER
- SALSA
- COMET
- CHIP
- SOFT
- CSPLib
- 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
- G2C: cryptographic protocols from goal-driven specifications
- Constraint programming for dynamic symbolic execution of JavaScript
- Generating compound moves in local search by hybridisation with complete search
This page was built for software: Gecode
