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

該方法以擴展的關係邏輯為語義基礎，把一致*問題歸結為關係邏輯公式的可滿足*問題。

該文提出了一種結合邏輯模擬和布爾可滿足*的黑盒驗*方法，用於驗*設計中黑盒外部的功能正確*。