_id,doi,title
1421,10.1145/2883817.2883837,Scalable static hybridization methods for analysis of nonlinear systems