Constant Rate PCPs for Circuit-Sat With Sublinear Query Complexity

doi 10.1109/focs.2013.42
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE