Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets. - Jordan Demeulenaere; Renaud Hartert; Christophe Lecoutre; Guillaume Perez; Laurent Perron; Jean-Charles Régin; Pierre Schaus (CP, 2016)