Proofs, Codes, and Polynomial-Time Reducibilities.

Ravi Kumar D. Sivakumar

Published in: Computational Complexity Conference (1999)

Keyphrases

special case
approximation algorithms
theorem proving
error correction
computational complexity
error correcting codes
data sets
theorem prover
real time
expert systems
worst case
constraint satisfaction problems
decision procedures
formal proof
equational theories