1
Phân biệt thủ tục quyết định so với người giải quyết SMT và người giải quyết định lý và người giải quyết ràng buộc
Những thuật ngữ đó làm tôi bối rối. Như tôi hiểu Bộ giải SAT: quyết định sự thỏa mãn của logic mệnh đề (sử dụng DPLL hoặc Tìm kiếm cục bộ). Thủ tục quyết định là một thủ tục để quyết định sự thỏa mãn của một lý thuyết bậc …