超小卫星

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


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

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

1 2 ... 26 27 28 下一个

  1. 阿维斯,大卫;Jordan,Charles:\textsfmts:并行化树搜索代码的轻型框架(2021)
  2. 巴塔查里亚,阿纳布;古普塔,阿什图什;库普萨米,拉克什曼;玛尼,索米亚;舒克拉,安基特;斯里瓦斯,曼德亚姆;Thattai,Mukund:预测真核细胞囊泡交通系统新特征的形式方法(2021)
  3. 阿泽维多,吉尔赫米·恩里克·伊斯梅尔;佩索阿,阿尔维斯;Subramanian,Anand:基于可满足性和工作量的广义优先约束项目调度问题的精确方法(2021)
  4. 阿尔维亚诺,马里奥;Dodaro,Carmine:不满意的核心分析和最佳稳定模型搜索的聚集(2020)
  5. 卞正兵;楚达克,费边;麦克雷迪,威廉;罗伊,艾丹;塞巴斯蒂安尼,罗伯托;Varotti,Stefano:用量子退火器求解SAT(和MaxSAT):基础、编码和初步结果(2020)
  6. 陈,钱马太;芬齐,阿尔贝托;曼奇尼,托尼;伊戈尔,梅拉蒂;Tronci,Enrico:MILP,pseudo Boolean和OMT解算器,用于关键任务无线网络中中继节点的最佳容错配置(2020)
  7. 德贝兹,帕特里克;佩林,莱奥:中间相遇攻击和回合减少王子的结构分析(2020)
  8. 德雷克斯勒,罗尔夫(编辑);索肯,马蒂亚斯(编辑):高级布尔技术。第13届布尔问题国际研讨会论文选集,德国不来梅,2018年9月19-21日(2020年)
  9. Gaggl,莎拉A。;林斯比希勒,托马斯;马拉提亚,马可;Stefan Woltran:第二届国际论证计算模型竞赛的设计与结果(2020)
  10. 考夫曼,丹妮拉;贝尔,阿明;Kauers,Manuel:使用计算机代数对算术电路进行增量列式验证(2020)
  11. 拉涅兹,让-玛丽;伦卡,伊曼纽;马奎斯,皮埃尔:模型计数的可定义性(2020)
  12. 李楚民;萧,范;罗、毛;很多,费利普;吕志鹏;Li,Yu:CDCL SAT solvers中的单元传播的条款生动化(2020)
  13. 马蒂尔,西蒙;Remaud,Maxime:量子回溯算法的实际实现(2020)
  14. 帕什科维奇,坎斯坦钦;Poirrier,Laurent:具有循环偏好的三维稳定匹配(2020)
  15. 卢东荣;辜胜阻;郑永勋;郑日旺;李向东;权大成;Kim,Woo-Hwan:分组密码CHAM的修订版(2020)
  16. 塞巴斯蒂安尼,罗伯托;特伦丁,帕特里克:\textsoptimathsat:优化模理论的工具(2020)
  17. 塞门诺夫,亚历山大;奥特普什尼科夫,伊利亚;格里巴诺娃,伊琳娜;扎金,奥列格;Kochemazov,Stepan:将离散函数的算法描述转换为SAT及其在密码分析问题中的应用(2020)
  18. 温齐尔,安东尼乌斯;灰褐色,理查德;Friedrich,Gerhard:推进惰性接地ASP解决技术——重新启动、阶段节省、启发式等(2020)
  19. 阿布德·埃尔·马克苏德,穆尼拉A。;Abdalla,Areeg:Van der Waerden数字的新SAT解算器(2019)
  20. 阿尔维亚诺,马里奥;多达罗,胭脂红;费希特,约翰尼斯K。;赫彻,马库斯;菲利浦,托比亚斯;Rath,Jakob:ASP的不一致性证明:ASP-DRUPE格式(2019)

1 2 ... 26 27 28 下一个


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