微量锌

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


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

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