Inverting Thanks to SAT Solving - An Application on Reduced-step MD*.

Florian Legendre, Gilles Dequen, Michal Krajecki

Browse the full SECRYPT paper archive.