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.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | Solving Error Correction for Large Data Sets as Propositional Satisfiability |
Autori: | |
Data di pubblicazione: | 2003 |
Citazione: | 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. |
Handle: | http://hdl.handle.net/11573/498848 |
Appartiene alla tipologia: | 04a Atto di comunicazione a congresso |
File 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.