Backtracking-Assisted Multiplication.

Houda Ferradi Rémi Géraud Diana Maimut David Naccache Hang Zhou

Published in: IACR Cryptol. ePrint Arch. (2015)

Keyphrases

dependency directed backtracking
search algorithm
floating point
constraint satisfaction
arithmetic operations
conflict directed
genetic algorithm
search space
constraint satisfaction problems
tree search
neural network
information systems
multiscale
search tree
constraint propagation
backtracking search