是否有任何算法具有良好的性能（除了天真）找到最接近公式的任意良好估值（我们知道）的新的、不同的公式估值？
铁
((p & q & x) | r) <-> (a & b & c & d & e) 正确估值 p,q,x = 1, r = 0, a..e = 1. fe a 的变化到 0 对我们不利——它强制改变 p,q,x = 0。“r”的变化对我们来说更好——我们不必从 r 改变任何东西。我们可以假设“最接近”意味着根据汉明度量最接近。
该算法对于我的程序探索从时间逻辑公式生成的状态空间非常有用（对于具有 > 15 个变量的所有解决方案，许多可能的估值，仅使用 BFS 算法进行部分搜索）的图太大。