University of Birmingham Enumerating solution-free sets in the integers