Universal Locally Verifiable Codes and 3-Round Interactive Proofs of Proximity for CSP.
Oded GoldreichTom GurPublished in: Electron. Colloquium Comput. Complex. (2016)
Keyphrases
- constraint satisfaction problems
- user interaction
- product configuration
- virtual reality
- constraint satisfaction
- tree decomposition
- error correction
- sufficient conditions
- constraint propagation
- theorem prover
- partial constraint satisfaction
- error correcting
- decomposition methods
- arc consistency
- theorem proving
- genetic algorithm
- user friendly
- first order logic
- search algorithm