超小卫星

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


zbMATH中的参考文献(引用于,1标准件)

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

1 2 ... 25 26 27 下一个

  1. 帕特里克,德贝兹;佩林,莱奥:中间相遇攻击和回合减少王子的结构分析(2020)
  2. Gaggl,Sarah A.;Linsbichler,Thomas;Marco Maratea;Woltran,Stefan:第二届国际论证计算模型竞赛的设计和结果(2020年)
  3. 拉格尼兹,让-玛丽;朗卡,埃曼纽尔;马奎斯,皮埃尔:模型计数的可定义性(2020)
  4. 李楚民;萧,范;罗,毛;许多阿,费利普;吕志鹏;李,余:CDCL SAT解算器中单元传播的条款生动化(2020)
  5. Roh,Dongyong;Koo,Bonwook;Jung,Younghoon;Jeong,Il-Woong;Lee,Dong-Geon;Kwon,Daesung;Kim,Woo-Hwan:分组密码CHAM的修订版(2020)
  6. 塞巴斯蒂安尼,罗伯托;特伦丁,帕特里克:\textsoptimathsat:优化模理论的工具(2020)
  7. Semenov,Alexander;Otpuschennikov,Ilya;Gribanova,Irina;Zaikin,Oleg;Kochemazov,Stepan:将离散函数的算法描述翻译成SAT及其在密码分析问题中的应用(2020年)
  8. Abd El Maksoud,Munira A.;Abdalla,Areeg:Van der Waerden数字的新SAT解算器(2019年)
  9. Alviano,Mario;Dodaro,Carmine;Fichte,Johannes K.;Hecher,Markus;Philipp,Tobias;Rath,Jakob:ASP的不一致性证明:ASP-DRUPE格式(2019)
  10. Mutsunori Banbara;Inoue,Katsumi;Kaufmann,Benjamin;Okimoto,Tenda;Schaub,Torsten;Soh,Takehide;Tamura,Naoyuki;Wanko,Philipp:\ textitespoon:用答案集编程解决基于课程的课程时间表问题(2019年)
  11. Breik,Keenan;Thachuk,Chris;Heule,Marijn;Soloveichik,David:热力学结合网络稳定构型的计算特性(2019)
  12. 卡萨诺,瓦伦丁;费瓦里,劳尔;霍夫曼,纪尧姆;阿雷斯,卡洛斯;卡斯特罗,帕布罗F.:默认直觉逻辑的表格演算(2019)
  13. 费德米利科为2019年设计的抽象算法;米利科是如何设计的
  14. Däubel,Karl;Jäger,Sven;Mütze,Torsten;Scheucher,Manfred:关于正交对称链分解(2019)
  15. Fichte,Johannes K.;Kronegger,Martin;Woltran,Stefan:答案集编程的多参数观点(2019)
  16. Hodžić,S.;Pasalic,E.;Chattopadhyay,A.:指数生成函数线性分解的迭代方法(2019年)
  17. Jančk,Pavel;Kofroň,Jan;Alt,Leonardo;Fedyukovich,Grigory;Hyvärinen,Antti E.J.;Sharygina,Natasha:在基于插值的模型检查中利用部分变量赋值(2019年)
  18. Karpinèski,Michał;Piotrów,Marek:使用多路合并选择网络编码基数约束(2019年)
  19. 本杰明•基尔;海勒•马里恩•J•H.;贝尔•阿明:《作为有条件自给自足的真理分配》(2019年)
  20. 李建文、朱淑芳、蒲葛光、张立军、瓦迪、莫舍Y:基于SAT的显性LTL推理及其在可满足性检验中的应用(2019)

1 2 ... 25 26 27 下一个


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