MiniZinc

MiniZinc is a medium-level constraint modelling language. It is high-level enough to express most constraint problems easily, but low-level enough that it can be mapped onto existing solvers easily and consistently. It is a subset of the higher-level language Zinc. We hope it will be adopted as a standard by the Constraint Programming community.


References in zbMATH (referenced in 70 articles , 2 standard articles )

Showing results 1 to 20 of 70.
Sorted by year (citations)

1 2 3 4 next

  1. Gerault, David; Lafourcade, Pascal; Minier, Marine; Solnon, Christine: Computing AES related-key differential characteristics with constraint programming (2020)
  2. Sebastiani, Roberto; Trentin, Patrick: \textscOptiMathSAT: a tool for optimization modulo theories (2020)
  3. Amadini, Roberto; Andrlon, Mak; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.: Constraint programming for dynamic symbolic execution of JavaScript (2019)
  4. Calimeri, Francesco; Ianni, Giovambattista; Pacenza, Francesco; Perri, Simona; Zangari, Jessica: Incremental answer set programming with overgrounding (2019)
  5. Kamiński, Bogumił; Olczak, Tomasz; Prałat, Paweł: Parallel execution of schedules with random dependency graph (2019)
  6. Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J.: Wombit: a portfolio bit-vector solver using word-level propagation (2019)
  7. Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo: SUNNY-CP and the MiniZinc challenge (2018)
  8. Enright, Jessica; Meeks, Kitty: Deleting edges to restrict the size of an epidemic: a new application for treewidth (2018)
  9. Freuder, Eugene C.: Progress towards the Holy Grail (2018)
  10. Hooker, J. N.; van Hoeve, W.-J.: Constraint programming and operations research (2018)
  11. Huang, Pei; Ma, Feifei; Ge, Cunjing; Zhang, Jian; Zhang, Hantao: Investigating the existence of large sets of idempotent quasigroups via satisfiability testing (2018)
  12. Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J.; Zimmermann, Jürgen: Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems (2018)
  13. Schiendorfer, Alexander; Knapp, Alexander; Anders, Gerrit; Reif, Wolfgang: MiniBrass: soft constraints for MiniZinc (2018)
  14. Vion, Julien; Piechowiak, Sylvain: From MDD to BDD and arc consistency (2018)
  15. Amadini, Roberto; Flener, Pierre; Pearson, Justin; Scott, Joseph D.; Stuckey, Peter J.; Tack, Guido: Minizinc with strings (2017)
  16. Battistutta, Michele; Schaerf, Andrea; Urli, Tommaso: Feature-based tuning of single-stage simulated annealing for examination timetabling (2017)
  17. Carlsson, Mats; Johansson, Mikael; Larson, Jeffrey: Scheduling double round-robin tournaments with divisional play using constraint programming (2017)
  18. Cristiá, Maximiliano; Rossi, Gianfranco: A decision procedure for restricted intensional sets (2017)
  19. Dekker, Jip J.; Björdal, Gustav; Carlsson, Mats; Flener, Pierre; Monette, Jean-Noël: Auto-tabling for subproblem presolving in MiniZinc (2017)
  20. Guns, Tias; Dries, Anton; Nijssen, Siegfried; Tack, Guido; De Raedt, Luc: MiningZinc: a declarative framework for constraint-based mining (2017)

1 2 3 4 next