萨特4J

Sat4j库2.2版系统说明。Sat4j是一个用于解决布尔满足和优化问题的java库。它可以解决SAT,MAXSAT,伪布尔,最小不可满足子集(MUS)问题。在Java中,我们的承诺不是成为解决这些问题的最快的解决方案(Java中的SAT解算器比C++中的SAT解算器慢3.25倍),而是功能齐全、健壮、用户友好,并遵循Java设计准则和代码约定(使用源代码的静态分析进行检查)。通过大量使用decorator和strategy设计模式,库的设计具有灵活性。此外,Sat4j是开源的,在双重商业友好型Eclipse公共许可证和学术友好型gnulgpl许可证下。


zbMATH参考文献(73篇文章引用)

显示第73到第1个结果。
按年份排序(引用)
  1. 布尔技术;高级技术。第13届布尔问题国际研讨会论文选集,德国不来梅,2018年9月19-21日(2020年)
  2. Rocha,Thiago Alves;Martins,Ana Teresa;Ferreira,Francicleber Martins:使用Ehrenfeucht Fraïsségames从字符串样本合成DNF公式(2020)
  3. Showkatbakhsh,Mehrdad;Shoukry,Yasser;Diggavi,Suhas N.;Tabuada,Paulo:传感器和执行器攻击下的安全状态重建:理论与设计(2020)
  4. Demirović,Emir;Musliu,Nyret;Winter,Felix:使用部分加权maxSAT建模和求解员工调度(2019年)
  5. 艾伯纳,加布里埃尔:自动直觉定理证明的Herbrand构造(2019)
  6. 廖晓娟;Koshimura,Miyuki;Nomoto,Kazuki;Ueda,Suguru;Sakurai,Yuko;Yoko,Makoto:MC网络下联盟结构生成的改进WPM编码(2019年)
  7. Varshosaz,Mahsa;Luthmann,Lars;Mohr,Paul;Lochau,Malte;Mousavi,Mohammad Reza:特征过渡系统的模态转换系统编码(2019年)
  8. Zha,Aolong;Koshimura,Miyuki;Fujita,Hiroshi:(N)基于模的MaxSAT伪布尔约束的CNF编码(2019)
  9. Beyersdorff,Olaf;Chew,Leroy;Mahajan,Meena;Shukla,Anil:了解QBFs的切割平面(2018)
  10. Lagniez,Jean-Marie;Le Berre,Daniel;de Lima,Tiago;Montmail,Valentin:解决最小S5可满足性问题的基于假设的方法(2018)
  11. Nadel,Alexander:用位向量优化求解MaxSAT(2018)
  12. Carlos Joós(2017年)完成的加布依(Joan)加权算法
  13. Cohen,D.;Crampton,J.;Gutin,G.;Wahlström,m.:工作流可满足性问题的参数化复杂性(2017)
  14. Demirović,埃米尔;Musliu,Nysret:基于maxSAT的大型邻里搜索高中时间表(2017年)
  15. 2017年,代表:Thomas Yuen,Ping Yuen;复合材料
  16. Giesl,Jürgen;Aschermann,Cornelius;Brockschmidt,Marc;Emmes,Fabian;Frohn,Florian;Fuhs,Carsten;Hensel,Jera;Otto,Carsten;Plücker,Martin;Schneider Kamp,Peter;Ströder,Thomas;Swiderski,Stephanie;Thiemann,René:用\textsfAProVE自动分析程序终止和复杂性(2017)
  17. Hutter,Frank;Lindauer,Marius;Balint,Adrian;Bayless,Sam;Hoos,Holger;Leyton Brown,Kevin:可配置SAT解算器挑战赛(CSSC)(2017)
  18. 阿列克谢·伊格纳蒂耶夫;安东尼奥·莫尔加多;侯爵·席尔瓦,乔奥:《论SAT解决中解决分辨率的限制》(2017)
  19. Janhunen,Tomi;Gebser,Martin;Rintanen,Jussi;Nyman,Henrik;Pensar,Johan;Corander,Jukka:通过约束优化学习离散可分解图形模型(2017)
  20. 劳里亚,马西莫;埃尔弗斯,一月;诺德斯特伦,雅各布;维尼尔斯,马克:CNFgen:一个精心制作的基准(2017年)