取景器

有限域枚举器。这是一个有限域CSP求解器,在它所能做的方面是有限的。不要指望它能有效地处理任何数值问题,尽管它能很快地解决小问题。好的特征(即I)是输入语言,它是一阶逻辑,是一种很容易伪装的逻辑。这个版本的早期版本附带了一些文档。这一个带有强制使用武力的命令(读源)。同时阅读自带的自述文件。


ZBMaCT中的参考文献(39篇文章中引用)

显示结果1至20的39。
按年份排序(引文
  1. 雷诺兹,安得烈;Blanchette,Jasmin Christian;Cracees,西蒙;Tinelli,Casay:SMT中递归函数的模型发现(2016)
  2. Gajdo-t,PeTr;Ku-Il,马丁:最大7的有序半群和最大10的线性序半群。(2014)
  3. Sah,穆罕默德;Gretton,查尔斯;SoGe,Volker:通过研究SMADADACH Ag基团来列举Ag基团。(2011)
  4. 鲍姆加特,彼得;托斯滕森,EvGyij:基于实例的方法.简要概述(2010)伊波尔特
  5. 谢尔霍恩,格哈德,赖夫,沃尔夫冈:代数规范中的自动探伤(2010)
  6. 鲍姆加特,彼得;福斯,亚力山大;de Nivelle,汉斯;Tinelli,CeSEAL:用无功能子句逻辑计算有限模型(2009)
  7. Peltier,尼古拉斯:构造树自动机表示的无限模型(2009)
  8. 谢尔霍恩、格哈德、赖夫、沃尔夫冈:非自由生成数据类型的代数规范自动化(2008)
  9. Peltier,尼古拉斯:自动化模型构建:从有限模型到无限模型(2008)
  10. Audemard,吉尔斯;本哈穆,Bela,D,Henocque,劳伦特:有限元模型搜索中对称性的预测和检测(2006)
  11. 黄,Zhuo;张,健:从一阶公式生成SAT实例(2005)
  12. Konrad,卡斯滕:自然语言解释和分析的模型生成。(2004)
  13. 张,吉安;张,韩涛:用同余闭包计算推广有限模型搜索(2004)
  14. Peltier,尼古拉斯:从归结规则的语义细化下饱和的子句集提取模型。(2003)
  15. Peltier,尼古拉斯:建立有限模型的归结和枚举的微积分(2003)
  16. Choi,SeungYOB:在解析(2002)中实现语义导向的正向推理
  17. 杜布瓦,奥利维尔;DeQuin,吉尔斯:(10,2001)共轭正交正交幂等拉丁方的不存在性(第二阶)
  18. Lez,莱因霍尔德;Stnz,Gernot:断开表的证明和模型生成(2001)
  19. Bry,弗兰;O.IS;Yahya,Adnan:正单元超分辨率表及其在最小模型生成中的应用(2000)
  20. G.,I,Stigouou. K.,沃尔什,T.:可分解约束(2000)