超小卫星

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


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

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

1 2 ... 27 28 29 下一个

  1. 巴塔查里亚,阿纳布;古普塔,阿什图什;库普萨米,拉克什曼;玛尼,索米亚;舒克拉,安基特;斯里瓦斯,曼德亚姆;Thattai,Mukund:预测真核细胞囊泡交通系统新特征的形式方法(2021)
  2. 博内,玛丽亚·路易莎;巴斯,萨姆;伊格纳蒂耶夫,亚历克赛;莫加多,安东尼奥;马奎斯·席尔瓦:基于最大可满足性的命题证明系统(2021)
  3. 阿德南,达威奇;Marquis,Pierre:论布尔逻辑中的文字量化及其在可解释人工智能中的应用(2021)
  4. 阿泽维多,吉尔赫米·恩里克·伊斯梅尔;佩索阿,阿尔维斯;Subramanian,Anand:基于可满足性和工作量的广义优先约束项目调度问题的精确方法(2021)
  5. 吉尔德兹克鲁,杰斯;Levy,Jordi:流行相似性随机SAT公式(2021)
  6. 格里吉奥,阿尔伯托;罗维里,马可;托内塔,斯特凡诺:基于SAT的模型检查的证明(2021年)
  7. 侯赛因,阿卡什;拉鲁西尼,弗朗索瓦:(\mathsfQCTL)模型检查与(\mathsfQBF)解算器(2021年)
  8. Kyrillidas,Anastasios;Shrivastava,安舒马利;瓦迪,摩舍。;张志伟:用多线性Fourier展开求解连续空间中的混合布尔约束(2021)
  9. 卢特伯格,比约纳尔;克莱森,科恩;约翰森,基督徒;Steffen,Martin:SAT模离散事件仿真在铁路设计能力分析中的应用(2021)
  10. 卢特伯格,比约纳尔;Johansen,Christian:用SAT绘制:铁路基础设施示意图的四种方法和工具(2021年)
  11. 庞齐奥,巴勃罗;戈迪奥,阿里尔;罗斯纳,尼古拉斯;阿罗约,马塞洛;阿吉尔,拿撒勒诺;Frias,Marcelo F.:使用紧字段边界对堆操作程序进行有效的有界模型检查(2021)
  12. 萨特克利夫:第十届IJCAR自动定理证明系统竞赛——CASC-J10(2021)
  13. Wernhard,Christoph:Craig interpolation with clausal一阶表格(2021)
  14. 扎瓦特里,马特奥;科比,卡罗;里兹,罗密欧;Viganò,Luca:STN与决策的一致性检查:无缝管理时间和访问控制约束(2021)
  15. 阿尔维亚诺,马里奥;Dodaro,Carmine:不满意的核心分析和最佳稳定模型搜索的聚集(2020)
  16. 贝格,耶利米亚斯;酒神,法希姆;Poole,Alex:隐式命中集合MaxSat求解的抽象核心(2020)
  17. 卞正兵;楚达克,费边;麦克雷迪,威廉;罗伊,艾丹;塞巴斯蒂安尼,罗伯托;Varotti,Stefano:用量子退火器求解SAT(和MaxSAT):基础、编码和初步结果(2020)
  18. 布雷卡,格哈德;迪勒,马丁;海森伯格,乔治;林斯比希勒,托马斯;Woltran,Stefan:用答案集编程解决高级论证问题(2020)
  19. 陈,钱马太;芬齐,阿尔贝托;曼奇尼,托尼;伊戈尔,梅拉蒂;Tronci,Enrico:MILP,pseudo Boolean和OMT解算器,用于关键任务无线网络中中继节点的最佳容错配置(2020)
  20. 德贝兹,帕特里克;佩林,莱奥:中间相遇攻击和回合减少王子的结构分析(2020)

1 2 ... 27 28 29 下一个


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