用“可满足*”造句大全，可满足*造句

该方法以扩展的关系逻辑为语义基础，把一致*问题归结为关系逻辑公式的可满足*问题。

该文提出了一种结合逻辑模拟和布尔可满足*的黑盒验*方法，用于验*设计中黑盒外部的功能正确*。