The G12 Project: Mapping Solver Independent Models to Efficient Solutions.

Peter J. Stuckey, Maria J. Garca de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh

Browse the full ICLP paper archive.