SAT (ujednoznacznienie): Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
dodano odnośnik do problemu SAT (problemu spełnialności formuł zdaniowych) |
SAT Sp. z o.o., polska firma robót drogowych |
||
Linia 13:
* [[SIM Application Toolkit]] – część systemu GSM definiująca zestaw komend i procedur do komunikacji karty [[SIM]] z telefonem
* [[Problem spełnialności|Problem SAT]] - pierwszy problem, którego NP-zupełność pokazano
* [[SAT Sp.]] z o.o., polska firma robót drogowych
| |||