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

Florian Legendre Gilles Dequen Michaël Krajecki

Published in: SECRYPT (2012)

Keyphrases

sat solving
sat solvers
boolean satisfiability
orders of magnitude
objective function
dynamic programming
search tree
sat problem