- Tytuł:
- A Threshold for a Polynomial Solution of #2SAT
- Autorzy:
-
De Ita, G.
Marcial-Romero, J. R.
Hernandez, J. A. - Data publikacji:
- 2011
- Słowa kluczowe:
-
2SAT Problem
branch and bound algorithm
polynomial thresholds
efficient counting - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł