CSAT là gì?

Noun None

CSAT hoặc the circuit satisfiability problem (Bài toán thỏa mãn mạch logic), là một bài toán tính toán trong khoa học máy tính (computer science) nó quyết định xem một mạch Boolean (Boolean circuit) có mang lại đầu ra TRUE cho một tập hợp các đầu vào hay không.

Learning English Everyday