This website requires JavaScript.
Explore
Help
Sign In
prb
/
Logicandapplications2023
Watch
1
Star
0
Fork
You've already forked Logicandapplications2023
0
Code
Issues
Pull Requests
Projects
Releases
Wiki
Activity
9169bad2b2
Logicandapplications2023
/
class_34_07112023
/
summary.txt
5 lines
90 B
Plaintext
Raw
Blame
History
Correctness of PCP to validity problem reduction
K has a solution iff \phi_k is valid.
Reference in New Issue
View Git Blame
Copy Permalink