如何将布尔表达式转换为cnf文件？
kar*_*thi 3 java boolean-expression conjunctive-normal-form sat-solvers
我需要使用sat解算器来检查布尔表达式的可满足性.
我有像这样的复杂布尔表达式
是否有任何自动cnf文件转换器,以便我可以直接给坐在求解器？
我读了cnf格式文件..但是如何在.cnf文件中表达这个表达式？当paranthesis里面有一个连词以及如何表达时,我会感到困惑 - >和< - >？请帮我
| 归档时间： |
|
| 查看次数： |
4667 次 |
| 最近记录： |