Sociology; Statistics; Runtime; Portfolios; Input variables; Evolutionary computation; Genetics;
机译:在SAT求解器的变量选择启发式方法中利用多值知识
机译:SLS中加权Max-2-SAT的有效变量选择启发式
机译:使DNA计算机自动化:解决n变量3-SAT问题
机译:可变选择启发式自动化设计提高CDCL SAT求解器的性能
机译:通过利用CDCL的经验特性来改进SAT解算器。
机译:我们应该停止开发启发式方法而仅在自动化测试程序集中依靠混合整数编程求解器吗?范德林登和李的重逢(2016)
机译:基于组合的并行CDCL saT求解器的缓存性能研究