Encoding Information Reconstruction problems of different origins into Propositional Satisfiability problems
Solving Error Correction for Large Data Sets as Propositional Satisfiability / Bruni, Renato. - (2003). (Intervento presentato al convegno Sixth International Conference on Theory and Applications of Satisfiability Testing tenutosi a Portofino, Italy).
Solving Error Correction for Large Data Sets as Propositional Satisfiability
BRUNI, Renato
2003
Abstract
Encoding Information Reconstruction problems of different origins into Propositional Satisfiability problemsFile allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.