Decidir la Consistencia de Restricciones Aritméticas Reales No Lineales con una Búsqueda Impulsada por Conflictos Utilizando Coberturas Algebraicas Cilíndricas