超小卫星

可扩展的SAT解算器。MiniSat是一个极简的、开源的SAT解算器,旨在帮助研究人员和开发人员开始SAT。它是在麻省理工学院的许可下发布的,目前在许多项目中使用(见“链接”)。在这个页面上,你会找到与miniat相关的二进制文件、源文件、文档和项目,包括伪布尔解算器miniat+和CNF minimizer/预处理器SatELite。MiniSat与卫星卫星一起,最近获得了2005年SAT竞赛的三个工业类别和一个“精心制作”类别的奖项。


zbMATH中的参考文献(参考文献558篇,1标准件)

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

1 2 ... 26 27 28 下一个

  1. 巴塔查里亚,阿纳布;古普塔,阿什图什;库普萨米,拉克什曼;玛尼,索米亚;舒克拉,安基特;斯里瓦斯,曼德亚姆;Thattai,Mukund:预测真核细胞囊泡交通系统新特征的形式方法(2021)
  2. 博内,玛丽亚·路易莎;萨姆,巴斯;伊格纳蒂耶夫,亚历克赛;莫加多,安东尼奥;马奎斯·席尔瓦:基于最大可满足性的命题证明系统(2021)
  3. 阿泽维多,吉尔赫米·恩里克·伊斯梅尔;佩索阿,阿尔维斯;Subramanian,Anand:基于可满足性和工作量的广义优先约束项目调度问题的精确方法(2021)
  4. 吉尔德兹克鲁,杰斯;Levy,Jordi:流行相似性随机SAT公式(2021)
  5. 侯赛因,阿卡什;拉鲁西尼,弗朗索瓦:(\mathsfQCTL)模型检查与(\mathsfQBF)解算器(2021年)
  6. Kyrillidas,Anastasios;Shrivastava,安舒马利;瓦迪,摩舍。;张志伟:用多线性Fourier展开求解连续空间中的混合布尔约束(2021)
  7. 庞齐奥,巴勃罗;戈迪奥,阿里尔;罗斯纳,尼古拉斯;阿罗约,马塞洛;阿吉尔,拿撒勒诺;Frias,Marcelo F.:使用紧字段边界对堆操作程序进行有效的有界模型检查(2021)
  8. 扎瓦特里,马特奥;科比,卡罗;里兹,罗密欧;Viganò,Luca:STN与决策的一致性检查:无缝管理时间和访问控制约束(2021)
  9. 阿尔维亚诺,马里奥;Dodaro,Carmine:不满意的核心分析和最佳稳定模型搜索的聚集(2020)
  10. 卞正兵;楚达克,费边;麦克雷迪,威廉;罗伊,艾丹;塞巴斯蒂安尼,罗伯托;Varotti,Stefano:用量子退火器求解SAT(和MaxSAT):基础、编码和初步结果(2020)
  11. 布雷卡,格哈德;迪勒,马丁;海森伯格,乔治;林斯比希勒,托马斯;Woltran,Stefan:用答案集编程解决高级论证问题(2020)
  12. 陈,钱马太;芬齐,阿尔贝托;曼奇尼,托尼;伊戈尔,梅拉蒂;Tronci,Enrico:MILP,pseudo Boolean和OMT解算器,用于关键任务无线网络中中继节点的最佳容错配置(2020)
  13. 德贝兹,帕特里克;佩林,莱奥:中间相遇攻击和回合减少王子的结构分析(2020)
  14. 多达罗,胭脂红;Ricca,Francesco:扩展WASP的外部接口(2020)
  15. 德雷克斯勒,罗尔夫(编辑);索肯,马蒂亚斯(编辑):高级布尔技术。第13届布尔问题国际研讨会论文选集,德国不来梅,2018年9月19-21日(2020年)
  16. Gaggl,莎拉A。;林斯比希勒,托马斯;马拉提亚,马可;Stefan Woltran:第二届国际论证计算模型竞赛的设计与结果(2020)
  17. 考夫曼,丹妮拉;阿米尔,阿米尔;Kauers,Manuel:使用计算机代数对算术电路进行增量列式验证(2020)
  18. 拉涅兹,让-玛丽;伦卡,伊曼纽;马奎斯,皮埃尔:模型计数的可定义性(2020)
  19. 李楚民;萧,范;罗、毛;很多,费利普;吕志鹏;Li,Yu:CDCL SAT solvers中的单元传播的条款生动化(2020)
  20. 李建文;普格光;张月玲;瓦迪,摩舍。;Rozier,Kristin Y.:基于SAT的显式(\mathsfLTL_f)满意度检查(2020)

1 2 ... 26 27 28 下一个


更多出版物请访问:http://miniat.se/Papers.html