微量锌

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


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

显示第1到第20个结果,共80个。
按年份排序(引用)
  1. 佩特尔,汤姆訙;斯泽德,斯特凡:寻找最难解决的公式(2021)
  2. 阿玛蒂尼,罗伯托;恒河,格雷姆;解算字符串(虚线:字符串,2020)
  3. 奥德马尔,吉尔;布塞马特,弗里德里克;勒库特,克里斯托夫;皮埃特,塞德里克;罗塞尔,奥利维尔:XCSP(^3)及其生态系统(2020)
  4. 杰拉罗,大卫;拉福卡德,帕斯卡;米尼尔,海军陆战队;Solnon,Christine:用约束编程计算AES相关的关键差分特征(2020)
  5. 林,爱德华;恒河,格雷姆;斯图基,彼得J。;范亨登里克,帕斯卡;Dekker,Jip J.:肉豆蔻:使用分支和检查的MIP和CP混合求解器(2020)
  6. 塞巴斯蒂安尼,罗伯托;特伦丁,帕特里克:\textsoptimathsat:优化模理论的工具(2020)
  7. 阿玛蒂尼,罗伯托;马克·安德隆;恒河,格雷姆;沙赫特,彼得;桑德加德,哈拉尔德;Stuckey,Peter J.:JavaScript动态符号执行的约束编程(2019)
  8. 比约达尔,古斯塔夫;弗莱纳,皮埃尔;皮尔森,贾斯汀:通过混合与完全搜索在本地搜索中生成复合移动(2019)
  9. 卡利梅里,弗朗西斯科;伊安尼,乔瓦姆巴蒂斯塔;帕森扎,弗朗西斯科;佩里,西蒙娜;Zangari,Jessica:overgrounding的增量答案集编程(2019)
  10. 迪乌尼亚,迭戈;恒河,格雷姆;沙赫特,彼得;Stuckey,Peter J.:将CP子问题编译为MDDs和d-DNNFs(2019年)
  11. 盖宾格,托比亚斯;米舍克,弗洛里安;Musliu,Nysret:研究约束编程对现实世界工业测试实验室调度的影响(2019年)
  12. 卡米斯基,博古米;奥尔查克,托马兹;Prałat,Paweł:具有随机依赖图的并行执行调度(2019)
  13. 克莱赞德,卢卡斯;Nysret,Musliu:建模和解决最小位移设计问题(2019年)
  14. 王文喜;桑德加德,哈拉尔德;Stuckey,Peter J.:Wombit:使用词级传播的投资组合位向量解算器(2019)
  15. 阿玛蒂尼,罗伯托;加布里埃利,毛里齐奥;Mauro,Jacopo:SUNNY-CP和MiniZn挑战赛(2018)
  16. 阿玛蒂尼,罗伯托;恒河,格雷姆;Stuckey,Peter J.:传播\textsclex、\textscfindand\textscreplacewith虚线字符串(2018)
  17. 恩赖特,杰西卡;Meeks,Kitty:删除边缘以限制流行病的规模:treewidth的新应用(2018)
  18. 弗洛伊德,尤金·C.:迈向圣杯的进展(2018)
  19. 胡克,J.N。;van Hoeve,W.-J.:约束规划与运筹学(2018)
  20. 黄、裴;妈妈,菲菲;葛存菁;张健;张汉涛:通过可满足性检验研究大集合幂等拟群的存在性(2018)