Efficient error localisation and imputation for real-world census data using SMT. - Daniel Alarcón; Rajeev Goré (ACSW, 2016)