Efficient probabilistically checkable proofs and applications to approximations 论文

1993引用 317
DOI
Complexity and Algorithms in GraphsCryptography and Data SecurityLogic, Reasoning, and Knowledge
Logic, Reasoning, and KnowledgeCryptography and Data SecurityComplexity and Algorithms in Graphs
相关技术:Complexity and Algorithms in Graphs
关系图谱

Efficient probabilistically checkable proofs and applications to approximations · 相关文章

暂无数据