Integer programming approaches for minimum stabbing problems. Issue 2 (7th March 2014)