微量锌

MiniZinc是一种中级约束建模语言。它的高层足够容易地表达大多数约束问题,但低层次的足够容易和一致地映射到现有的解算器上。它是高级语言锌的一个子集。我们希望它将被约束编程社区作为一个标准来采用。


zbMATH中的参考文献(参考 76篇文章 引用,2标准条款)

显示第1到第20个结果,共76个。
按年份排序(引用)
  1. Gilles的Audemard;Boussmart,Frédéric;Lecoutre,Christophe;Piette,Cédric;Roussel,Olivier:XCSP(^3)及其生态系统(2020)
  2. Gerault,David;Lafourcade,Pascal;Minier,Marine;Solnon,Christine:用约束编程计算AES相关关键微分特性(2020)
  3. 塞巴斯蒂安尼,罗伯托;特伦丁,帕特里克:\textsoptimathsat:优化模理论的工具(2020)
  4. Amadini,Roberto;Andrlon,Mak;Gange,Graeme;Schachte,Peter;Søndergaard,Harald;Stuckey,Peter J.:JavaScript动态符号执行的约束编程(2019)
  5. 比约达尔,古斯塔夫;弗莱纳,皮埃尔;皮尔森,贾斯汀:通过混合与完全搜索在局部搜索中生成复合移动(2019)
  6. Calimeri,Francesco;Ianni,Giovambattista;Pacenza,Francesco;Perri,Simona;Zangari,Jessica:overgrounding的增量答案集编程(2019)
  7. Geibinger,Tobias;Mischek,Florian;Musliu,Nysret:调查现实世界工业测试实验室调度的约束编程(2019)
  8. Kamiłski,Bogumił;Olczak,Tomasz;Prałat,Paweł:具有随机依赖图的并行执行计划(2019年)
  9. Kletzander,Lucas;Musliu,Nysret:建模和解决最小移位设计问题(2019年)
  10. Wang,Wenxi;Søndergaard,Harald;Stuckey,Peter J.:Wombit:使用词级传播的投资组合位向量解算器(2019年)
  11. 阿马蒂尼,罗伯托;加布里埃利,毛里齐奥;毛罗,雅各布:阳光-CP和迷你锌挑战赛(2018)
  12. Amadini,Roberto;Gange,Graeme;Stuckey,Peter J.:传播\textsclex、\textscfindand\textscReplacewithdash strings(2018年)
  13. Enright,Jessica;Meeks,Kitty:删除边缘以限制流行病的规模:treewidth的新应用(2018)
  14. 弗洛伊德,尤金·C.:迈向圣杯的进展(2018)
  15. Hooker,J.N.;van Hoeve,W.-J.:约束规划和运筹学(2018)
  16. 黄,裴;马,菲菲;葛存菁;张健;张汉涛:通过可满足性检验研究大集幂等拟群的存在性(2018)
  17. Kreter,Stefan;Schutt,Andreas;Stuckey,Peter J.;Zimmermann,Jürgen:用于解决资源可用性成本问题的混合整数线性规划和约束规划公式(2018)
  18. Lvov,M.;Peschanenko,V.;Letychevskyi,O.;Tarasich,Y.;Baiev,A.:构造线性半代数公式规范形式的算法和工具(2018)
  19. Schiendorfer,Alexander;Knapp,Alexander;Anders,Gerrit;Reif,Wolfgang:MiniBrass:MiniZn的软约束(2018)
  20. Vion,Julien;Piechouiak,Sylvain:从MDD到BDD和arc一致性(2018)