The CP-SAT-LP Solver (Invited Talk).

Laurent Perron, Frdric Didier, Steven Gay

Browse the full CP paper archive.