iZplus公司 swMATH ID: 21855 软件作者： 藤原俊美 描述： iZplus（fzn_iZplus）–2016年MiniZin挑战赛基于iZ的解决方案。fzn_izplus是使用iZ-C约束编程库的FlatZin解算器，该库由NTT DATA SEKISUI SYSTEMS CORPORATION开发 主页： http://www.minizinc.org/challenge2016/description_izplus.txt 相关软件： 迷你锌；米斯特拉尔；CAMA公司；糠；Gecode公司；扁平锌；第3章；Z3字符串；Picat-SAT卫星；通过；StrSolve解决方案；WAPTEC公司；诺恩；奥斯卡.cbls；汉普；陌生人；古罗比；csp2卫星4j 引用于： 3文件 全部的 前5名8位作者引用 2 斯特里赫曼（Ofer Strichman） 2 迈克尔·维克斯勒 1 罗伯托·阿马迪尼 1 皮埃尔·弗莱纳 1 贾斯汀·皮尔逊 1 约瑟夫·斯科特。 1 彼得·詹姆斯·斯塔基 1 塔克，吉多 连载1篇 1 人工智能 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文