伯克明

BerkMin:一个快速和强大的SAT求解器。我们描述了一个SAT求解器,BerkMin,继承这样的特征抓握,SATO和箔条作为子句记录,快速BCP,重新启动,冲突条款“老化”。同时,Burkmin引入了一种新的决策过程和一种新的子句数据库管理方法。我们实验比较BerkMin与箔条,领导者之间的分辨率为基础的SAT求解器。实验表明,我们的程序比箔条更鲁棒,能够在合理的时间内比箔条解决更多的实例。


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

显示结果1至20的158。
按年份排序(引文
  1. Lyu,Yinrun;陈,李;张,Changyou;瞿,Dacheng;闵阿拉,纳斯罗;王,永济市:带析取约束的线性优化问题的交错深度优先搜索法(2018)
  2. Marques Silva,Joao;马利克,撒拉德:命题SAT求解(2018)
  3. Audemard,吉尔斯;Lagniez,Jean Marie;Szczepanski,尼古拉斯;Tabary,S·巴斯蒂安:糖浆的分布式版本(2017)
  4. 梁,Jia Hui;Hari Govind,V. K.;PouPUTE,Pascal;CZARNECKI,克日什托夫;GANSH,Vijay:通过全局学习率透镜的分支启发法的实证研究(2017)
  5. 克罗宁,丹尼尔;斯特里曼,Ofer:决策程序。算法的观点(2016)
  6. 梁,Jia Hui;GANSH,Vijay;PouTube,Pascal;CZARNECKI,克日什托夫:基于学习率的分支求解SAT求解器(2016)
  7. 李,Pingke;靳,Qingwei:关于双极Max Min方程的解法。(2016)
  8. Biere,Armin;Fr O'HLICH,安德烈亚斯:CCDCL变量评分方案的评价(2015)
  9. 罗伯托,罗伯特,Nieuwenhuis,罗伯特:以SAT和Max SAT为基础的课程表排课(2014)
  10. Alviano,马里奥;多达罗,卡迈恩;费伯,沃尔夫冈;Leone,尼古拉;里卡,弗朗西斯科:WASP:一种基于约束学习的原生ASP求解器(2013)伊波尔特
  11. 梅奈,Mohamed El Bachir;Al Yahya,TasnIEM纳塞尔:部分马克斯SAT精确方法的分类(2013)
  12. BUS,Samuel R.:通过证明复杂性和搜索到NP-(2012)
  13. Cheremisinova,L. D.:基于条件对数编码的函数不确定性逻辑描述的形式化验证(2012)
  14. 菲谢蒂,Matteo;Monaci,米歇尔:不确定(整数)线性规划的切割平面与紧凑格式(2012)
  15. Gebser,马丁;考夫曼,本杰明;肖伯,托斯滕:冲突驱动的答案集解决:从理论到实践(2012)
  16. 马丁斯,Ruben;Mangkimo,VasCO;Lynce,S:并行SAT解决方案综述(2012)
  17. Van Gelder、艾伦:极其大命题反驳的产生与验证(2012)
  18. AbIIO,IGANASI;威慑,摩根;NeunWuui,罗伯特;Stuckey,Peter J.:减少SAT搜索中的混沌:找到接近给定的解(2011)
  19. Braa'm,埃里卡;舒伯特,托拜厄斯;贝克尔,贝尔恩德;Fr Sunnle,马丁;Horde,Chistin:有界模型检验中的并行SAT求解(2011)
  20. Aschinger,Markus;德雷舍,康拉德;弗里德里希,格哈德;Gottlob,格奥尔;Thorstensen,EvGeNJ:合作单位问题的最优化方法(2011)