卡洛斯·奥拉特;卡米洛·鲁埃达;巴伦西亚,弗兰克·D。 并发约束编程的模型和新兴趋势。 (英文) Zbl 1317.90283号 约束条件 第4期第18页,第535-578页(2013年).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人,《约束18》,第4期,535--578(2013;Zbl 1317.90283) 全文: 内政部 哈尔
卢卡·博托卢西;阿尔贝托,Policriti 在随机并发约束规划中建模生物系统。 (英文) Zbl 1144.92001号 约束条件 13,编号1-2,66-90(2008).MSC公司:92B05型 90 C90 68单位99 92-08 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{A.Policiti},约束条件13,第1号-2,66号-90(2008年;Zbl 1144.92001) 全文: 内政部
史蒂夫·德沃夏克;苏珊·格雷尔;Nikiforova,维多利亚·J。;托尔斯滕·绍布;约阿希姆·塞尔比格 通过答案集编程用动作语言建模生物网络。 (英文) Zbl 1148.68564号 约束条件 13,编号1-2,21-65(2008).MSC公司:68平方英寸 68N17号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Dworschak}等人,《约束条件》13,编号1--2,21-65(2008;Zbl 1148.68564) 全文: 内政部