Becket, R, Brand, S, Brown, M, Duck, G.J, Fischer, T.F.J, Huang, J, Marriott, K, Nethercote, N, Puchinger, J, Rafeh, R, Stuckey, P.J & Wallace, M.G 2008, 'The Many Roads Leading to Rome: Solving Zinc Models by Various Solvers', 7th International Workshop on Constraint Modelling and Reformulation.