机译:解决SAT和SAT模理论:从抽象的Davis-Putnam-Logemann-Loveland过程到DPLL(T)
机译:广义Davis-Putnam和数学中的可满足性问题
机译:解析效率和Davis-Putnam程序
机译:Davis-Putnam程序和命题可靠性的理论分析
机译:Meta分析伪影校正程序的比较:校正可靠性的实证检验。
机译:校正:不确定性下的阶:使用概率模型进行伪时间推断的鲁棒差分表达分析
机译:戴维斯·普特南(Davis Putnam)过程解决可满足性问题的概率分析
机译:三个可满足性问题的两种启发式概率分析