In theoretical computer science, th

In theoretical computer science, the circuit satisfiability problem (also known as CIRCUIT-SAT, CircuitSAT, CSAT, etc.) is the decision problem of determining whether a given Boolean circuit has an assignment of its inputs that makes the output true.

ผลลัพธ์ (ไทย) 1:

ในวิทยาการคอมพิวเตอร์ทฤษฎี ปัญหา satisfiability วงจร (หรือที่เรียกว่าวงจร-SAT, CircuitSAT, CSAT ฯลฯ) เป็นปัญหาการตัดสินใจกำหนดว่า วงจรแบบบูลีนที่กำหนดให้มีการกำหนดอินพุตของที่จริงออก

ผลลัพธ์ (ไทย) 2:

ในวิชาวิทยาการคอมพิวเตอร์ปัญหา satisfiability วงจร (หรือเรียกว่าวงจร-SAT, CircuitSAT, CSAT ฯลฯ ) ปัญหาการตัดสินใจในการระบุว่าให้วงจรบูลีนมีการกำหนดปัจจัยการผลิตของมันที่ทำให้การส่งออกจริง

ผลลัพธ์ (ไทย) 3:

ในวิทยาการคอมพิวเตอร์เชิงทฤษฎี วงจรปัญหาความสอดคล้อง ( ยังเป็นที่รู้จัก circuit-sat circuitsat csat , , , ฯลฯ ) คือการตัดสินใจปัญหาของการพิจารณาว่าได้มอบหมายให้วงจรตรรกะของปัจจัยการผลิตที่ทำให้ผลผลิตจริง