The following pages link to (Q3972530):
Displaying 9 items.
- On the complexity of test case generation for NP-hard problems (Q917311) (← links)
- On the complexity of ranking (Q920620) (← links)
- On sets polynomially enumerable by iteration (Q1176233) (← links)
- On the theory of average case complexity (Q1190984) (← links)
- Practical proofs of knowledge without relying on theoretical proofs of membership on languages (Q1391315) (← links)
- Uniform generation of NP-witnesses using an NP-oracle (Q1854397) (← links)
- Generating applicable synthetic instances for branch problems (Q2846416) (← links)
- On the effective generation of set elements within specified ranges (Q3141999) (← links)
- On separating proofs of knowledge from proofs of membership of languages and its application to secure identification schemes (Q6064047) (← links)