Lecture 7: Counting 2-Sat solutions --- Fürer & Kasiviswanathan article
Требуемые условия завершения
Official link:
https://link.springer.com/chapter/10.1007/978-3-540-72870-2_5
Нажмите на ссылку Lecture 7: Counting 2-Sat solutions --- Fürer & Kasiviswanathan article, чтобы открыть ресурс.