查找器

有限域枚举器。这是一个有限域CSP解算器,它的功能相当有限。不要指望它能有效地处理任何数值问题,尽管它可以很快地解决小问题。一个很好的特性(比如I)是一阶逻辑的输入语言。它的早期版本附带了一些文档。这是一个使用武力的禁令(阅读来源)。同时阅读随附的自述文件。


zbMATH中的参考文献(参考文献40篇文章)

显示第1到第20个结果,共40个。
按年份排序(引用)
  1. 鲍姆加特纳,彼得;Schmidt,Renate A.:自下而上模型生成方法的阻塞和其他增强(2020)
  2. 雷诺兹,安德鲁;布兰切特,贾斯敏·克里斯蒂安;克鲁恩斯,西蒙;Tinelli,Cesare:SMT中递归函数的模型发现(2016)
  3. 盖多什,彼得;Kuřil,Martin:大小不超过7的序半群和大小不超过10的线性序半群。(2014)
  4. 沙阿,穆罕默德;格雷顿,查尔斯;Sorge,Volker:用Smaradache-AG群的研究来列举银族(2011年)
  5. 鲍姆加特纳,彼得;Thorstensen,Evgenij:基于实例的方法-简要概述(2010)ioport公司
  6. 沙丘,安德烈;谢尔霍恩,格哈德;Reif,Wolfgang:代数规范中的自动缺陷检测(2010)
  7. 鲍姆加特纳,彼得;福克斯,亚历山大;德尼维尔,汉斯;Tinelli,Cesare:通过还原到无函数子句逻辑计算有限模型(2009)
  8. 珀尔蒂尔,尼古拉斯:构建树自动机表示的无限模型(2009)
  9. 沙丘,安德烈;谢尔霍恩,格哈德;Reif,Wolfgang:非自由生成数据类型的代数规范自动化(2008)
  10. 珀尔蒂尔,尼古拉斯:《自动化模型构建:从有限模型到无限模型》(2008)
  11. 奥德马尔,吉尔;贝拉伊德贝纳莫;Henocque,Laurent:FOL有限模型搜索中对称性的预测和检测(2006)
  12. 黄、卓;张健:从一阶公式生成SAT实例(2005)
  13. 康拉德,卡斯滕:自然语言解释和分析的模型生成(2004年)
  14. 张健;张汉涛:用同余闭包计算扩展有限模型搜索(2004)
  15. 珀尔蒂尔,尼古拉斯:结合解析和枚举的微积分建立有限模型(2003)
  16. Peltier,Nicolas:从解析规则的语义细化下饱和的子句集提取模型(2003年)
  17. Choi,Seungyeob:面向语义目标的解决前向推理(2002)
  18. 杜布瓦,奥利维尔;Dequen,Gilles:10阶共轭正交幂等拉丁方的不存在性(2001)
  19. 莱兹,莱因霍尔德;Stenz,Gernot:带断开表的证明和模型生成(2001)
  20. 布里,弗朗索瓦;Yahya,Adnan:正单位超分辨率表格及其在最小模型生成中的应用(2000)