Login / Signup
Asynchronous and Exact Forward Recovery for Detected Errors in Iterative Solvers.
Luc Jaulmes
Miquel Moretó
Eduard Ayguadé
Jesús Labarta
Mateo Valero
Marc Casas
Published in:
IEEE Trans. Parallel Distributed Syst. (2018)
Keyphrases
</>
sat solving
error detection
brute force
iterative methods
database
data sets
search engine
forward and backward
image recovery
iterative optimization
case study
face recognition
np hard
error correction
online discussion