机译:2016年和2017年QBF求解器评估(Q.BFEVAL'16和QBFEVAL'17)
机译:2016年和2017年QBF求助者评估(Q.BFeval'16和QBFeval'17)
机译:QBF解决方案第三次评估报告
机译:QBF竞技场的挑战:QBF求解器的SAT'03评估“
机译:确定用于使用SAT解算器解决线性优化问题的最佳算术电路
机译:评估猪口蹄疫SAT 1SAT 2和SAT 3血清型的新型灭活疫苗
机译:使用嵌套的SAT求解器求解QBF实例
机译:saT和(数字符号)saT的推广用于稳健的政策评估