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 76 articles , 2 standard articles )

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

1 2 3 4 next

  1. Audemard, Gilles; Boussemart, Frédéric; Lecoutre, Christophe; Piette, Cédric; Roussel, Olivier: XCSP(^3) and its ecosystem (2020)
  2. Gerault, David; Lafourcade, Pascal; Minier, Marine; Solnon, Christine: Computing AES related-key differential characteristics with constraint programming (2020)
  3. Sebastiani, Roberto; Trentin, Patrick: \textscOptiMathSAT: a tool for optimization modulo theories (2020)
  4. Amadini, Roberto; Andrlon, Mak; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.: Constraint programming for dynamic symbolic execution of JavaScript (2019)
  5. Björdal, Gustav; Flener, Pierre; Pearson, Justin: Generating compound moves in local search by hybridisation with complete search (2019)
  6. Calimeri, Francesco; Ianni, Giovambattista; Pacenza, Francesco; Perri, Simona; Zangari, Jessica: Incremental answer set programming with overgrounding (2019)
  7. Geibinger, Tobias; Mischek, Florian; Musliu, Nysret: Investigating constraint programming for real world industrial test laboratory scheduling (2019)
  8. Kamiński, Bogumił; Olczak, Tomasz; Prałat, Paweł: Parallel execution of schedules with random dependency graph (2019)
  9. Kletzander, Lucas; Musliu, Nysret: Modelling and solving the minimum shift design problem (2019)
  10. Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J.: Wombit: a portfolio bit-vector solver using word-level propagation (2019)
  11. Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo: SUNNY-CP and the MiniZinc challenge (2018)
  12. Amadini, Roberto; Gange, Graeme; Stuckey, Peter J.: Propagating \textsclex, \textscfindand \textscreplacewith dashed strings (2018)
  13. Enright, Jessica; Meeks, Kitty: Deleting edges to restrict the size of an epidemic: a new application for treewidth (2018)
  14. Freuder, Eugene C.: Progress towards the Holy Grail (2018)
  15. Hooker, J. N.; van Hoeve, W.-J.: Constraint programming and operations research (2018)
  16. Huang, Pei; Ma, Feifei; Ge, Cunjing; Zhang, Jian; Zhang, Hantao: Investigating the existence of large sets of idempotent quasigroups via satisfiability testing (2018)
  17. 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)
  18. Lvov, M.; Peschanenko, V.; Letychevskyi, O.; Tarasich, Y.; Baiev, A.: Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas (2018)
  19. Schiendorfer, Alexander; Knapp, Alexander; Anders, Gerrit; Reif, Wolfgang: MiniBrass: soft constraints for MiniZinc (2018)
  20. Vion, Julien; Piechowiak, Sylvain: From MDD to BDD and arc consistency (2018)

1 2 3 4 next