Cited in
(only showing first 100 items - show all)- A constraint programming-based approach to a large-scale energy management problem with varied constraints
- Solving a real-life, large-scale energy management problem
- Computing AES related-key differential characteristics with constraint programming
- Fleet design optimisation from historical data using constraint programming and large neighbourhood search
- Visual search tree profiling
- Balancing bike sharing systems with constraint programming
- MiniZinc with strings
- Reusing CSP Propagators for QCSPs
- Constraint programming for dynamic symbolic execution of JavaScript
- Generating compound moves in local search by hybridisation with complete search
- Exact solution of graph coloring problems via constraint programming and column generation
- MiniBrass: soft constraints for MiniZinc
- View-based propagator derivation
- \textsc{Tor}: modular search with hookable disjunction
- Constraint-based controller synthesis in non-deterministic and partially observable domains
- Dynamic Analysis of Bounds Versus Domain Propagation
- Solving a selective dial-a-ride problem with logic-based Benders decomposition
- Physician scheduling during a pandemic
- On solving a hard quadratic 3-dimensional assignment problem
- Design and implementation of bounded-length sequence variables
- Combining CP and ILP in a tree decomposition of bounded height for the sum colouring problem
- Feasibility pump 2.0
- Propagation engine prototyping with a domain specific language
- Graph matching problems and the NP-hardness of sortedness constraints
- Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings
- Orbital shrinking: theory and applications
- Applying constraint logic programming to SQL test case generation
- Towards Copeland optimization in combinatorial problems
- Short-term scheduling of production fleets in underground mines using CP-based LNS
- Exploiting subproblem dominance in constraint programming
- A cumulative not-first/not-last filtering algorithm in \(O(n^2 \log(n))\)
- Optimization Bounds from the Branching Dual
- Constraint programming-based column generation
- View-based propagation of decomposable constraints
- SelfSplit parallelization for mixed-integer linear programming
- Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules
- Block structured scheduling using constraint logic programming
- Deleting edges to restrict the size of an epidemic: a new application for treewidth
- A constraint-based local search backend for MiniZinc
- 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
This page was built for software: Gecode
