충족 가능성 문제: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
34번째 줄:
[[nl:Vervulbaarheidsprobleem]]
[[pl:Problem spełnialności]]
[[pt:Problema de satisfatibilidade booleana]]
[[ru:Задача выполнимости булевых формул]]
[[simple:Boolean satisfiability problem]]
[[sr:САТ проблем]]
[[th:ปัญหาความสอดคล้องแบบบูล]]
[[uk:Задача
[[zh:布尔可满足性问题]]
| |||