可满足性问题（Satisfiability Problem，简称SAT）是计算机科学的中心问题之一，也是第一个被证明的NP-完全问题，并且是一大类NP-完全问题......

利用东海地区的重力资料 ,并参考在该地区进行的地震测深结果 ,应用线性公式估算了研究区的地壳厚度 ,分析了研究区地壳结构特征 ,......