Encoding Information Reconstruction problems of different origins into Propositional Satisfiability problems
Solving Error Correction for Large Data Sets as Propositional Satisfiability / Bruni, Renato. - (2003). ( Sixth International Conference on Theory and Applications of Satisfiability Testing 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.
