肉豆蔻4

有限模型查找器Mace4。Mace4是一个搜索一阶公式的有限模型的程序。对于给定的域大小,将构造域上公式的所有实例。其结果是一套平等的基本条款。然后,应用了基于地面方程重写的决策过程。如果检测到可满足性,则打印一个或多个模型。Mace4是一阶定理证明器的一个有用的补充,它可以搜索证明和Mace4寻找反模型,并且它对于有限代数的工作是有用的。Mace4在等式问题上比我们以前的模型搜索程序Mace2表现得更好。


zbMATH中的参考文献(参考文献217篇)

显示217个结果中的1到20个。
按年份排序(引用)

1 2 ... 9 10 11 下一个

  1. Marco Abbadini:交换格序幺半群的等价性(2021)
  2. 东,詹姆斯;格雷,罗伯特D.:埃雷斯曼理论与划分幺半群(2021)
  3. 格里格斯,特里S。;Kozlik,Andrew R.:关于满足Stein第三定律的拟群(2021)
  4. 杰克逊,马赛尔;斯托克斯,蒂姆:覆盖和更新(2021)
  5. 吉普森,彼得;图伊特,奥林;Valota,Diego:有限交换幂等对合剩余格的结构(2021)
  6. 玛戈利斯,斯图亚特;Stein,Itamar:范畴为EI的Ehresmann半群及其表示理论(2021)
  7. 梅里尼·朱利安尼,玛丽亚·德·劳尔德;奥利维拉·科尔特斯(Oliveira Cortes),瓦格纳·德(Wagner de):关于环状体和岩浆的逆(2021)
  8. Wehrung,Friedrich:幺半群的右序性与左序性(2021)
  9. 鲍姆加特纳,彼得;和其他增强版:2020年版Renate-bottom
  10. 伯格默尔,鲁道夫;福泽、仁石;古特曼,沃尔特;Höfner,Peter:路径的关系特征(2020)
  11. 克里斯蒂娅,马克西米利亚诺;Rossi,Gianfranco:求解有限集和二元关系上的无量词一阶约束(2020)
  12. 卡琳,卡琳;Verwimp,Charlotte:Yang-Baxter方程的斜格和集理论解(2020)
  13. 迪杜里克,纳塔莉亚;维克多·什切尔巴科夫:具有经典Bol-Moufang型恒等式的拟群中的单位。(2020年)
  14. 阿拉帕尔博士,阿莱;Vojtěchovský,Petr:Division sudokus:不变量、枚举和多分区(2020)
  15. 伊希尼姆,M。;珀尔蒂尔,N.:结合归纳法和基于饱和的定理证明(2020)
  16. 吉尔-费雷斯,何塞;吉普森,彼得;Metcalfe,George:幂等剩余格的结构定理(2020)
  17. 格里尔,马克;雷尼,李:自守环和代谢群。(2020年)
  18. 杰德利卡,Přemysl;皮里托夫斯卡,阿加塔;Zamojska Dzienio,Anna:二级Yang-Baxter方程多项解的构造(2020)
  19. Kozlik,Andrew R.:Steiner循环的中心和maxi-Pasch问题。(2020年)
  20. 卢卡斯,萨尔瓦多:使用有根据的关系证明运营终止(2020年)

1 2 ... 9 10 11 下一个