A copositive formulation for the stability number of infinite graphs. - Cristian Dobre; Mirjam Dür; Leonhard Frerick; Frank Vallentin (Math. Program., 2016)