Searching for "Two Variables Are Not Enough." – sorted by Relevance.
-
SAT-Variable Complexity of Hard Combinatorial Problems
- , from each vertex two variables are enough to specify which edge out of at most four the Hamiltonian
- Cited by 11 (0 self) – Add To MetaCart

