|
|
Результат поиска |
Поиск книг, содержащих: 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 |
|
|