Design of Financial CDO Squared Transactions Using Constraint Programming. - Pierre Flener; Justin Pearson; Luis G. Reyna; Olof Sivertsson (Constraints An Int. J., 2007)