MiniZinc
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Set constraint model and automated encoding into SAT: application to the social golfer problem
- A graph-based modeling abstraction for optimization: concepts and implementation in Plasmo.jl
- Abstract simulation of reaction networks via Boolean networks
- Visualising reasoning: what ATP can learn from CP
- Computing AES related-key differential characteristics with constraint programming
- SUNNY-CP and the MiniZinc challenge
- scientific article; zbMATH DE number 7552283 (Why is no real title available?)
- LoCo—A Logic for Configuration Problems
- RACE
- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- Constraint programming for dynamic symbolic execution of JavaScript
- Generating compound moves in local search by hybridisation with complete search
- Modelling and solving the minimum shift design problem
- MiniBrass: soft constraints for MiniZinc
- meSAT: multiple encodings of CSP to SAT
- \(\text{ECL}^{\text{i}}\text{PS}^{\text{e}}\) -- from LP to CLP
- Using constraint programming for solving RCPSP/MAX-cal
- From MDD to BDD and arc consistency
- Wombit: a portfolio bit-vector solver using word-level propagation
- Constraint programming and operations research
- Branch-and-cut-and-price for multi-agent path finding
- Exact stochastic constraint optimisation with applications in network analysis
- Progress towards the Holy Grail
- ASlib: a benchmark library for algorithm selection
- Nutmeg: a MIP and CP hybrid solver using branch-and-check
- Design and implementation of bounded-length sequence variables
- Debugging unsatisfiable constraint models
- Explanation-based weighted degree
- Propagation engine prototyping with a domain specific language
- Symmetries, almost symmetries, and lazy clause generation
- The algorithm selection competitions 2015 and 2017
- Graph matching problems and the NP-hardness of sortedness constraints
- Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings
- Computing difference abstractions of linear equation systems
- Optimal allocation of buffer times to increase train schedule robustness
- Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems
- Communication protocols for options and results in a distributed optimization environment
- Lifted Reasoning for Combinatorial Counting
- Detecting semantic groups in MIP models
- Feature-based tuning of single-stage simulated annealing for examination timetabling
- A complete solution to the maximum density still life problem
- Scenario-based learning for stochastic combinatorial optimisation
- Learning general constraints in CSP
- MiniZinc with functions
- Towards Copeland optimization in combinatorial problems
- Modeling the Costas array problem in QUBO for quantum annealing
- scientific article; zbMATH DE number 7453120 (Why is no real title available?)
- Investigating the existence of large sets of idempotent quasigroups via satisfiability testing
- Combining linear programming and automated planning to solve intermodal transportation problems
- Exploiting subproblem dominance in constraint programming
- Writing declarative specifications for clauses
- Automatic search for bit-based division property
- Branch-and-cut-and-price for the electric vehicle routing problem with time windows, piecewise-linear recharging and capacitated recharging stations
- View-based propagation of decomposable constraints
- Learning General Constraints in CSP
- Deleting edges to restrict the size of an epidemic: a new application for treewidth
- A constraint-based local search backend for MiniZinc
- CsegGraph
- iOpt
- SCIL
- NP-SPEC
- LSSPER
- HYPROLOG
- SALSA
- COMET
- CHIP
- Paradox
- EasyLocal++
- CSPLib
- JOBSHOP
- LocalSolver
- RPOLY
- Choco
- FlatZinc
- Gecode
- JaCoP
- SATzilla
- Cadmium
- SPOT
- wamcc
- Oz
- B-Prolog
- clasp
- ProB
- MUNCH
- CAMA
- NumberJack
- ToulBar2
- CaSPER
- Zinc
- ARXtools
- HAMPI
- Azucar
- URBiVA
- CSP2SAT4J
- OscaR
- G12
- Proteus
- MINION
- MPL
This page was built for software: MiniZinc
