The following pages link to (Q5111868):
Displaying 5 items.
- Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs (Q2163394) (← links)
- (Q4035675) (← links)
- Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk) (Q4649532) (← links)
- (Q5005177) (← links)
- Parameterised counting in logspace (Q6093373) (← links)