可满足性问题的改进型类组织P系统的求解研究中期报告

可满足性问题的改进型类组织P系统的求解研究中期报告本篇中期报告主要介绍可满足性问题（SAT）的改进型类组织P系统的求解研究的进展情况。1. 研究背景可满足性问题是计算机科学中一个经典的问题，其在实际应