Efficient solving of large arithmetic constraint systems with complex boolean structure : proof engines for the analysis of hybrid discrete-continuous systems (2011)