I\'m currently trying to implement a polynomial time reduction from kVertexCover to SAT. Given a number k and an undirected graph G, I have reduce
k
G
