萨特4J

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


zbMATH中的参考文献(参考文献75篇文章)

显示第1到第20个结果,共75个。
按年份排序(引用)
  1. 蔡少伟;雷振东:新方法中的旧技术:分句权重、单位繁殖和最大满意度杂交(2020)
  2. 陈,钱马太;芬齐,阿尔贝托;曼奇尼,托尼;伊戈尔,梅拉蒂;Tronci,Enrico:MILP,pseudo Boolean和OMT解算器,用于关键任务无线网络中中继节点的最佳容错配置(2020)
  3. 德雷克斯勒,罗尔夫(编辑);索肯,马蒂亚斯(编辑):高级布尔技术。第13届布尔问题国际研讨会论文选集,德国不来梅,2018年9月19-21日(2020年)
  4. 罗查,蒂亚戈·阿尔维斯;马丁斯,安娜·特雷莎;Ferreira,Francicleber Martins:使用Ehrenfeucht Fra从字符串样本合成DNF公式ï不锈钢é 游戏(2020)
  5. 梅尔达德,Showkatbakhsh;舒克里,亚瑟;迪加维,苏哈斯N。;保罗,塔布阿达:传感器和执行器攻击下的安全状态重建:理论与设计(2020)
  6. 德米罗维ć, 埃米尔;细布,尼斯雷特;Winter,Felix:用部分加权maxSAT建模和求解员工调度(2019)
  7. 艾伯纳,加布里埃尔:自动直觉定理证明的Herbrand构造(2019)
  8. 廖晓娟;小村、宫城;Nomoto和Kazuki;乌伊达、苏古鲁;樱井由子;新一代MC编码(2019年,改进的Makotoo网络编码结构)
  9. 瓦尔肖萨兹,马萨;拉尔斯·路德曼;莫尔,保罗;洛豪,麦芽;Mousavi,Mohammad Reza:模态转换系统编码特征转换系统(2019)
  10. 查、敖龙;小村、宫城;Fujita,Hiroshi:(N)-基于模的MaxSAT伪布尔约束的CNF编码(2019)
  11. 贝耶斯多夫,奥拉夫;咀嚼,勒罗伊;马哈扬,米娜;Anil Shukla:了解QBFs的切割平面(2018)
  12. 拉涅兹,让-玛丽;丹尼尔,勒贝尔;迪利马,蒂亚戈;蒙特米拉尔,瓦伦丁:基于假设的方法来解决最小S5可满足性问题(2018)
  13. Nadel,Alexander:用位向量优化求解MaxSAT(2018)
  14. 答案ó特吉,卡洛斯;口才às、 Joel:WPM3:an(in)完整的加权部分MaxSAT算法(2017)
  15. 科恩,D。;克拉普顿,J。;古汀,G。;瓦尔斯特尔öm、 m.:工作流可满足性问题的参数化复杂性(2017)
  16. 德米罗维ć, 埃米尔;纽约时报,Musliu:基于maxSAT的大型社区高中课程表搜索(2017)
  17. 冯、余;马丁斯,鲁本;王跃鹏;迪利格,伊西尔;代表,Thomas W.:复杂API的基于组件的合成(2017)
  18. 吉尔斯,Jü尔根;阿斯切曼,科尼利厄斯;布罗克施密特,马克;埃姆斯,费边;弗罗恩,弗洛里安;福斯,卡斯滕;亨塞尔,杰拉;奥托,卡斯滕;损益表ü克尔,马丁;施耐德·坎普,彼得;结构ö德尔,托马斯;斯威德斯基,斯蒂芬妮;蒂曼,伦é: 使用\textsfAProVE(2017)自动分析程序终止和复杂性
  19. 赫特,弗兰克;林道尔,马吕斯;巴林特,阿德里安;贝利斯,萨姆;霍斯,霍尔格;凯文·莱顿·布朗:可配置SAT解算器挑战赛(CSSC)(2017)
  20. 伊格纳蒂耶夫,亚历克赛;莫加多,安东尼奥;马奎斯·席尔瓦(Marques Silva),乔奥(Joao):《论SAT解决中解决分辨率的限制》(2017)