约束求解器

相比神经网络的连接主义，约束求解建立描述方程，然后求解方程得到未知变量的值。属于符号主义。

可用于NP难问题以及逆向问题，形式化验证，芯片测试 等的求解。

可满足性问题SAT，SMT。

约束求解的两个主要方法：随机搜索和系统搜索。

##

• 回主页