Sugar是一个基于SAT的约束求解器。将约束满足问题(CSP)编码为一个布尔CNF公式,并通过外部SAT求解器进行求解。Sugar还可以解决约束优化问题(COP)和最大CSP问题。Sugar在2008年和2009年的国际CSP解算器比赛中是全球约束类别的获奖解算器,在2008年的国际最大CSP解算器竞赛中获得四个类别的奖项。更多详细信息,请参阅CSP Solver竞赛中的糖结果。


zbMATH中的参考文献(参考文献26条)

显示第1到第20个结果,共26个。
按年份排序(引用)
  1. 陆小楠;三岛、宫城;宫本信子;Jimbo,Masakazu:通过两级循环几乎正交阵列进行功能磁共振成像实验的优化和有效设计(2021年)
  2. Ansis Ozolins:求解开放式车间问题的动态规划方法(2021)
  3. 穆苏诺里班巴拉;考夫曼,本杰明;奥斯特罗夫斯基,马克斯;Schaub,Torsten:\ textticlingcon:下一代(2017)
  4. 吉尔根,吉尔根;阿斯切曼,科尼利厄斯;布罗克施密特,马克;埃姆斯,费边;弗罗恩,弗洛里安;福斯,卡斯滕;亨塞尔,杰拉;奥托,卡斯滕;普吕克,马丁;施耐德·坎普,彼得;斯特罗德,托马斯;斯威德斯基,斯蒂芬妮;Thiemann,René:用\textsfAProVE自动分析程序终止和复杂性(2017)
  5. 希伯拉德,以马内尔;Huguet,Marie José;维赛尔,丹尼尔;索文,鲁迪文·波切;卡邦,贝特朗:通信卫星试验计划的约束规划(2017)
  6. 南丁格尔,彼得;阿肯,厄兹古尔;根特,伊恩·P。;杰斐逊,克里斯托弗;米格尔,伊恩;Spracklen,Patrick:自动改进Savile Row的约束模型(2017)
  7. Surynek,Pavel:基于时间扩展图的协同寻径优化求解命题编码(2017)
  8. Banković,米兰:扩展SMT解算器,支持有限域\texttalldifferenceconstraint(2016)
  9. Brock Nannestad,Taus:高效空间平面无环约束。陈述性明珠(2016)
  10. 德卡特,兄弟;Lierer,Yuliya:Constraint CNF:SAT和CSP语言在同一屋檐下(2016)
  11. 罗伯蒂阿马尔托;加布里埃利,毛里齐奥;Mauro,Jacopo:为什么CP投资组合解决方案的利用率(不足)?问题与挑战(2015)
  12. 海勒,玛丽安J。H、 。;Szeider,Stefan:SAT方法研究集团宽度(2015)
  13. 霍斯,霍尔格;卡明斯基,罗兰;林道尔,马吕斯;Schaub,Torsten:aspeed:通过答案集编程的求解器调度(2015)
  14. Ghiduk,Ahmed S.:使用可变长度遗传算法自动生成基本测试路径(2014)
  15. 斯托贾迪诺维奇,米尔科;Marić,Filip:meSAT:CSP到SAT的多重编码(2014)
  16. 波菲尔,米克尔;帕拉希,米克尔;苏伊,约瑟普;Villaret,Mateu:用SAT模理论解决约束满足问题(2012)
  17. 科迪什,迈克尔;吉尔根,吉尔根;施耐德·坎普,彼得;Thiemann,René:带有递归路径序和依赖对的终止证明的SAT求解(2012)
  18. Janičić,Predrag:URSA:统一削减到SAT的系统(2012年)
  19. 肖卡尔特,史蒂文;詹森,杰伦;Vermeir,Dirk:作为有限约束满足的Łukasiewicz逻辑的可满足性检验(2012)
  20. Tanjo,Tomoya;田村直佑;Banbara,Mutsunori:有限域CSP的紧凑高效SAT编码(2011)ioport公司

更多出版物请访问:http://bach.istc.kobe-u.ac.jp/sugar/#秒-八