Solving Error Correction for Large Data Sets by Means of a SAT Solver.
Renato BruniPublished in: SAT (2003)
Keyphrases
- error correction
- sat solvers
- sat solving
- sat instances
- sat encodings
- boolean formula
- sat problem
- error correcting
- error detection
- orders of magnitude
- boolean satisfiability
- constraint satisfaction
- max sat
- channel coding
- search space
- randomly generated
- propositional satisfiability
- satisfiability problem
- combinatorial optimization
- error detection and correction
- watermarking scheme
- random sat instances