超小卫星

一个可扩展的SAT求解器。MiSISAT是一个极简主义的开源SAT求解器,用于帮助研究人员和开发人员在SAT上启动。它是在麻省理工学院许可证下发布的,目前用于多个项目(见“链接”)。在这个页面上,你会发现二进制文件、源代码、文档和与MiSISAT相关的项目,包括伪布尔求解器MIISAT+和CNF最小化器/预处理器卫星。与卫星一起,MiSISAT最近被授予在三个工业类别和“精雕细琢”类别的SAT 2005比赛之一。


ZBMaX中的参考文献(511篇)1标准条款

显示结果1至20的511。
按年份排序(引文
  1. 李,Chu Min;萧,范;罗,毛;多个,Felip;Luu,Zhipeng;李,Fi:CdCl SAT求解器中单位传播的子句化(2020)
  2. Abd El Maksoud,Munira A.;Abdalla,A瑞格:Van der Waerden数的一种新的SAT求解器(2019)
  3. Banbara,Mutsunori;Inoue,KoMuMi;考夫曼,本杰明;Okimoto,腾达;Suab,TrStand;索赫,TueTu皮;Tamura,Naoyuki;WangKo,Philipp:TaspPON:用回答集编程解决基于课程的排课问题(2019)
  4. Breik,基南;Tas丘克,克里斯;休尔,Mijjn;Soloveichik,戴维:热力学结合网络稳定构型的计算性质(2019)
  5. 卡尔,Sven,J,Sujtand,SuuChER,曼弗雷德:正交对称链分解(2019)
  6. 德努亚,迭戈;Gange,格雷姆;沙希特,彼得;斯塔基,Peter J.:将CP子问题编译成MDDS和D-DNNFS(2019)
  7. 费希特,Johannes K.;Kronegger,马丁;Woltran,斯特凡:回答集编程的多参数视图(2019)
  8. H.O.I.I.,Pasalic,E;ChutopADHay.,A.:指数生成函数线性分解的迭代方法(2019)
  9. 简·K·K,帕维尔;Koffro,J.;ALT,列奥纳多;费德科维奇,格里高利;Hyv.Surrink,Antti E. J.;Surigina,娜塔莎:利用基于插值的模型检验中的部分变量赋值(2019)
  10. Kalpi-Ski-SKi,Piotr·米莎,马立克:用多路合并选择网络编码基数约束(2019)
  11. 李,Jianwen;朱,Shufang;PU,Geguang;张,李军;VADI,Moshe Y.:基于SAT的显性LTL推理及其在可满足性检验中的应用(2019)
  12. 王,闻喜;S·Nordar,哈拉尔德;Stuckey,Peter J.:WouBIT:使用字级传播的组合比特向量求解器(2019)
  13. 查,鳌龙;Koshimura,MyyKi;FujITa,Hiroshi:(n)-模模CNF编码的McSAT伪布尔约束(2019)
  14. Alviano,马里奥;多达罗,卡迈恩;马拉泰阿,马珂:回答集编程中的共享集合集(2018)
  15. Ivana,评价最小不满足子集的域不可知方法的评价(2018)
  16. Biere,Armin;Kr Off宁,丹尼尔:基于SAT的模型检验(2018)
  17. Blanchette,Jasmin Christian;Fleury,马蒂亚斯;Lammich,彼得;WeidBaCH,克里斯托夫:一个经过验证的SAT求解器框架,具有学习、遗忘、重启和增量(2018)
  18. 切鲁蒂,费德里克;瓦拉蒂,毛罗;Giacomin,马西米利亚诺:论配置对抽象论证自动化推理的影响(2018)
  19. 程,奚;周,闽;宋,Xiaoyu;顾,明;孙,夹谷昂:并行化SMT求解:懒惰分解与调和(2018)
  20. de Nivelle,HANS:三值几何分辨率的包容算法(2018)

进一步的出版物可以在:HTTP//MIISAT.SE/PASS.HTML