超小卫星

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


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

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

1 2 ... 24 25 26 下一个

  1. Gaggl,Sarah A.;Linsbichler,Thomas;Marco Maratea;Woltran,Stefan:第二届国际论证计算模型竞赛的设计和结果(2020年)
  2. 拉格尼兹,让-玛丽;朗卡,埃曼纽尔;马奎斯,皮埃尔:模型计数的可定义性(2020)
  3. 李楚民;萧,范;罗,毛;许多阿,费利普;吕志鹏;李,余:CDCL SAT解算器中单元传播的条款生动化(2020)
  4. 塞巴斯蒂安尼,罗伯托;特伦丁,帕特里克:\textsoptimathsat:优化模理论的工具(2020)
  5. Stepirin-to-Cast的问题描述;Stepirin-to-Cast;Stepirin-to-Translation-of-discrete-Banikham-Pusiln-2020;Stepirin-to-Translation-of-discrete-Banchem-Castings;Alexander-Banikhim-Translation-of-discrete-Banzairin-functions-in-Cas
  6. Abd El Maksoud,Munira A.;Abdalla,Areeg:Van der Waerden数字的新SAT解算器(2019年)
  7. Alviano,Mario;Dodaro,Carmine;Fichte,Johannes K.;Hecher,Markus;Philipp,Tobias;Rath,Jakob:ASP的不一致性证明:ASP-DRUPE格式(2019)
  8. Mutsunori Banbara;Inoue,Katsumi;Kaufmann,Benjamin;Okimoto,Tenda;Schaub,Torsten;Soh,Takehide;Tamura,Naoyuki;Wanko,Philipp:\ textitespoon:用答案集编程解决基于课程的课程时间表问题(2019年)
  9. Breik,Keenan;Thachuk,Chris;Heule,Marijn;Soloveichik,David:热力学结合网络稳定构型的计算特性(2019)
  10. 卡萨诺,瓦伦丁;费瓦里,劳尔;霍夫曼,纪尧姆;阿雷斯,卡洛斯;卡斯特罗,帕布罗F.:默认直觉逻辑的表格演算(2019)
  11. Cerutti,Federico;Giacomin,Massimiliano;Vallati,Mauro:我们如何设计抽象论证的获胜算法以及我们获得的洞察力(2019年)
  12. Däubel,Karl;Jäger,Sven;Mütze,Torsten;Scheucher,Manfred:关于正交对称链分解(2019)
  13. Fichte,Johannes K.;Kronegger,Martin;Woltran,Stefan:答案集编程的多参数观点(2019)
  14. Hodžić,S.;Pasalic,E.;Chattopadhyay,A.:指数生成函数线性分解的迭代方法(2019年)
  15. Jančk,Pavel;Kofroň,Jan;Alt,Leonardo;Fedyukovich,Grigory;Hyvärinen,Antti E.J.;Sharygina,Natasha:在基于插值的模型检查中利用部分变量赋值(2019年)
  16. Karpinèski,Michał;Piotrów,Marek:使用多路合并选择网络编码基数约束(2019年)
  17. 李建文、朱淑芳、蒲葛光、张立军、瓦迪、莫舍Y:基于SAT的显性LTL推理及其在可满足性检验中的应用(2019)
  18. Wang,Wenxi;Søndergaard,Harald;Stuckey,Peter J.:Wombit:使用词级传播的投资组合位向量解算器(2019年)
  19. Zha,Aolong;Koshimura,Miyuki;Fujita,Hiroshi:(N)基于模的MaxSAT伪布尔约束的CNF编码(2019)
  20. Alliot,Jean-Marc;Demolombe,Robert;Del Cerro,Luis Fariñas;Diéguez,Martín;Obed,Naji:《分子相互作用图上的诱拐推理》(2018)

1 2 ... 24 25 26 下一个


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