Jean-Marx Kieffer, CDCL