Minimal unsatisfiable core extraction for SMT. - Ofer Guthmann; Ofer Strichman; Anna Trostanetski (FMCAD, 2016)