Peter J. Stuckey Maria J. García de la Banda Michael J. Maher Kim Marriott John K. Slaney Zoltan Somogyi Mark Wallace Toby Walsh The G12 Project: Mapping Solver Independent Models to Efficient Solutions. 9-13 2005 conf/iclp/2005 ICLP http://dx.doi.org/10.1007/11562931_3 db/conf/iclp/iclp2005.html#StuckeyBMMSSWW05