Adapting Real Quantifier Elimination Methods for Conflict Set Computation. - Maximilian Jaroschek; Pablo Federico Dobal; Pascal Fontaine (FroCos, 2015)