Accelerating Counting-Based Search. - Samuel Gagnon; Gilles Pesant (CPAIOR, 2018)