超小卫星

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


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

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

1 2 ... 25 26 27 下一个

  1. Bian,Zheng Bing;Chudak,Fabian;Macready,William;Roy,Aidan;Sebastiani,Roberto;Varotti,Stefano:用量子退火器求解SAT(和MaxSAT):基础、编码和初步结果(2020年)
  2. Chen,Qian Matteo;Finzi,Alberto;Mancini,Toni;Melatti,Igor;Tronci,Enrico:MILP、伪布尔和OMT解算器,用于关键无线网络中中继节点的最佳容错配置(2020年)
  3. 帕特里克,德贝兹;佩林,莱奥:中间相遇攻击和回合减少王子的结构分析(2020)
  4. Drechsler,Rolf(编辑);Soeken,Mathias(编辑):高级布尔技术。第13届布尔问题国际研讨会论文选集,德国不来梅,2018年9月19-21日(2020年)
  5. Gaggl,Sarah A.;Linsbichler,Thomas;Marco Maratea;Woltran,Stefan:第二届国际论证计算模型竞赛的设计和结果(2020年)
  6. 拉格尼兹,让-玛丽;朗卡,埃曼纽尔;马奎斯,皮埃尔:模型计数的可定义性(2020)
  7. 李楚民;萧,范;罗,毛;许多阿,费利普;吕志鹏;李,余:CDCL SAT解算器中单元传播的条款生动化(2020)
  8. Simon Martiel;Remaud,Maxime:量子回溯算法的实际实现(2020)
  9. Roh,Dongyong;Koo,Bonwook;Jung,Younghoon;Jeong,Il-Woong;Lee,Dong-Geon;Kwon,Daesung;Kim,Woo-Hwan:分组密码CHAM的修订版(2020)
  10. 塞巴斯蒂安尼,罗伯托;特伦丁,帕特里克:\textsoptimathsat:优化模理论的工具(2020)
  11. Semenov,Alexander;Otpuschennikov,Ilya;Gribanova,Irina;Zaikin,Oleg;Kochemazov,Stepan:将离散函数的算法描述翻译成SAT及其在密码分析问题中的应用(2020年)
  12. Antonius Weinzierl;Richard Taupe;Friedrich,Gerhard:《推进惰性基础ASP解决技术——重启、阶段节省、启发式等》(2020)
  13. Abd El Maksoud,Munira A.;Abdalla,Areeg:Van der Waerden数字的新SAT解算器(2019年)
  14. Alviano,Mario;Dodaro,Carmine;Fichte,Johannes K.;Hecher,Markus;Philipp,Tobias;Rath,Jakob:ASP的不一致性证明:ASP-DRUPE格式(2019)
  15. Mutsunori Banbara;Inoue,Katsumi;Kaufmann,Benjamin;Okimoto,Tenda;Schaub,Torsten;Soh,Takehide;Tamura,Naoyuki;Wanko,Philipp:\ textitespoon:用答案集编程解决基于课程的课程时间表问题(2019年)
  16. Breik,Keenan;Thachuk,Chris;Heule,Marijn;Soloveichik,David:热力学结合网络稳定构型的计算特性(2019)
  17. 卡萨诺,瓦伦丁;费瓦里,劳尔;霍夫曼,纪尧姆;阿雷斯,卡洛斯;卡斯特罗,帕布罗F.:默认直觉逻辑的表格演算(2019)
  18. Cerutti,Federico;Giacomin,Massimiliano;Vallati,Mauro:我们如何设计抽象论证的获胜算法以及我们获得的洞察力(2019年)
  19. Däubel,Karl;Jäger,Sven;Mütze,Torsten;Scheucher,Manfred:关于正交对称链分解(2019)
  20. Fichte,Johannes K.;Kronegger,Martin;Woltran,Stefan:答案集编程的多参数观点(2019)

1 2 ... 25 26 27 下一个


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