CDCL SAT求解器在形式验证等领域应用广泛,但重启策略众多且参数控制复杂,导致通常选择默认参数下的策略,从而降低求解器的效率和......

CDCL(Conflict Driven Clause Learning)SAT求解器在形式验证等领域应用广泛,在实际应用中的大量NP问题已经被证明可以转化为SAT问......