Conference Proceedings

The Many Roads Leading to Rome: Solving Zinc Models by Various Solvers

R BECKET, S BRAND, M BROWN, G DUCK, T FEYDY, J FISCHER, J Huang, K Marriott, N NETHERCOTE, M Wallace, P STUCKEY, R Rafeh, J PUCHINGER

The 7th International Workshop on Constraint Modelling and Reformulation (ModRef'08): Collocated with the Special Session on Declarative Programming Paradigms and Systems for Non-Monotonic Reasoning at NMR'08 | The Association for Constraint Programming | Published : 2008