Finding independent sets in a graph using continuous multivariable polynomial formulationsOn maximum clique problems in very large graphs