盎司

此软件的关键字
zbMATH参考文献(参考
113篇文章
引用)
Ngumbang Fadja,Arnaud;Riguzzi,Fabrizio:提升概率逻辑程序的区分学习(2019) Beyer,Dirk;Gulwani,Sumit;Schmidt,David A.:结合模型检查和数据流分析(2018) Van Cauwelaert,Sascha;Lombardi,Michele;Schaus,Pierre:全球约束在实践中的效率如何? 公平实验框架(2018) Michel,L.;Van Hentenryck,P.:约束编程的微内核架构(2017) 正态分布程序(Fabrizzi函数,2016) Iser,Markus;Manthey,Norbert;Sinz,Carsten:CNF公式中嵌套门的识别(2015) Hanus,Michael:函数逻辑编程:从理论到Curry(2013) Carlos Olate;Rueda,Camilo;Valencia,Frank D.:并发约束编程的模型和新兴趋势(2013) Tom Schrijvers;Tack,Guido;Wuille,Pieter;Samulowitz,Horst;Stuckey,Peter J.:搜索组合(2013) Gorlin,Andrey;Ramakrishnan,C.R.;Smolka,Scott A.:概率表逻辑编程的模型检验(2012) 洛佩斯,里卡多;科斯塔,维托尔桑托斯;席尔瓦,费尔南多:扩展安道尔模式的设计与实施(2012) Hosobe,Hiroshi;Satoh,Ken;Ma,Jiefei;Russo,Alessandra;Broda,Krysia:层次代理的推测约束处理(2010) Daniel Plagge;Leuschel,Michael:Seven at one stroke:LTL模型检查B、Z、CSP等的高级规范(2010) ioport公司 Schlich,Bastian;Kowalewski,Stefan:嵌入式系统的模型检查C源代码(2009) ioport公司 Bussemi,Maria Grazia;Montanari,Ugo:基于约束的编程范式调查(2008) Leuschel,Michael;Butler,Michael:Prob:B方法的自动分析工具集(2008) ioport公司 曼奇尼,托尼;米卡莱托,戴维德;帕特里齐,法比奥;卡多利,马可:在CSPLib上评估ASP和商业解决方案(2008) Braßel,Bernd:解释函数逻辑计算轨迹的框架(2007) López Fraguas,Francisco J.;Rodríguez Artalejo,Mario;del Vado Vírseda,Rafael:带约束的函数逻辑程序设计的一种新的通用方案(2007) Niehren,Joachim;Sabel,David;Schmidt Schauß,Manfred;Schwinghammer,Jan:带有参考单元和未来的并发lambda演算的观察语义(2007)