|
|
 |
| Результат поиска |
Поиск книг, содержащих: 2SAT
| Книга | Страницы для поиска | | Sipser M. — Introduction to the theory of computation | 299 | | Papadimitriou C.H. — Computational Complexity | 184, 185, 398 | | Hopcroft J.E., Motwani R., Ullman J.D. — Introduction to Automata Theory, Languages, and Computation | 437, 446 | | Ding-Zhu D., Ker-I K. — Problem solving in automata, languages, and complexity | 370 | | Sipser M. — Introduction to the Theory of Computation | 275 |
|
|