变形杆菌

Proteus:求解器和转换的层次组合。近年来,解决SAT问题和csp的组合方法越来越普遍。还有许多不同的编码将csp表示为SAT实例。在本文中,我们利用SAT和CSP求解的进展,提出了一种新的基于层次组合的CSP求解方法,我们称之为Proteus,它不完全依赖CSP求解器。相反,它可能会决定最好将CSP问题实例编码成SAT,选择适当的编码和相应的SAT求解器。我们的实验评估使用了一个Proteus的实例,包括四个CSP求解器、三个SAT编码和六个SAT求解器,对CSP求解器竞赛中最具挑战性的问题实例进行了评估,涉及全局和强度约束。我们证明,Proteus可以通过开发组合问题求解的替代视点和求解器来获得显著的性能改进。


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

显示第1到第9个结果,共9个。
按年份排序(引用)

  1. 林道尔,马吕斯;范瑞恩,一月。;Kotthoff,Lars:2015和2017(2019)算法选择竞赛
  2. 尼科利奇,姆拉丁;马林科维奇,维斯纳;科瓦茨,佐坦;Janičić,Predrag:几何的投资组合定理证明和验证程序运行时预测(2019)
  3. 王文喜;桑德加德,哈拉尔德;Stuckey,Peter J.:Wombit:使用词级传播的投资组合位向量解算器(2019)
  4. 弗洛伊德,尤金·C.:迈向圣杯的进展(2018)
  5. 比什尔,伯纳德;科施克,帕斯卡;考特霍夫,拉尔斯;林道尔,马吕斯;马利茨基,尤里;弗雷谢特,亚历山德拉;霍斯,霍尔格;赫特,弗兰克;凯文·莱顿·布朗;蒂尔尼,凯文;Vanschoren,Joaquin:ASlib:算法选择的基准库(2016)
  6. 赫尔利,巴里;奥沙利文,巴里;放荡,大卫;乔治·卡塞雷洛斯;斯基克斯,托马斯;Zytnicki,马提亚斯;de Givry,Simon:图形模型离散优化中精确解算器的多语言评估(2016)
  7. 伊娜拉,吉瓦娜·普里亚;辛格,罗希特;Solar Lezama,Armando:位向量解算器领域特定CNF编码器的合成(2016)
  8. 罗伯蒂阿马尔托;加布里埃利,毛里齐奥;Mauro,Jacopo:为什么CP投资组合解决方案的利用率(不足)?问题与挑战(2015)
  9. 赫尔利,巴里;考特霍夫,拉尔斯;马利茨基,尤里;O'Sullivan,Barry:Proteus:求解器和转换的分层组合(2014)ioport公司