Maximum satisfiability; Exact algorithms; Parameterization above guarantee;
机译:MaxSAT中基于分辨率的下限
机译:使用参数化有界算子的一些非线性微分方程可移动奇点位置的下界和逼近
机译:(n,3)-maxsat的算法和全真赋值上方的参数化
机译:(n,3)-maxsat的不同参数化的上限和下限
机译:复杂性下限与元计算上限之间的连接
机译:最大公共子图:一些上限和下限结果
机译:maxsaT的下限和上限⋆
机译:双电离碳离子上限与下限能的比较