Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Algebraic methods for interactive proof systems
Lund, C., Fortnow, L., Karloff, H., Nisan, N.
Published in Foundations of Computer Science, 31st Symposium (1990)
Published in Foundations of Computer Science, 31st Symposium (1990)
Get full text
Conference Proceeding
No better ways to generate hard NP instances than picking uniformly at random
Impagliazzo, R., Levin, Leonid A
Published in Foundations of Computer Science, 31st Symposium (1990)
Published in Foundations of Computer Science, 31st Symposium (1990)
Get full text
Conference Proceeding
Security preserving amplification of hardness
Goldreich, O., Impagliazzo, R., Levin, L., Venkatesan, R., Zuckerman, D.
Published in Foundations of Computer Science, 31st Symposium (1990)
Published in Foundations of Computer Science, 31st Symposium (1990)
Get full text
Conference Proceeding
Trans-dichotomous algorithms for minimum spanning trees and shortest paths
Get full text
Conference Proceeding
Approximation through multicommodity flow
Klein, P., Agrawal, A., Ravi, R., Rao, S.
Published in Foundations of Computer Science, 31st Symposium (1990)
Published in Foundations of Computer Science, 31st Symposium (1990)
Get full text
Conference Proceeding
Efficient parallel algorithms for tree-decomposition and related problems
Get full text
Conference Proceeding
Learning conjunctions of Horn clauses
Angluin, D., Frazier, M., Pitt, L.
Published in Foundations of Computer Science, 31st Symposium (1990)
Published in Foundations of Computer Science, 31st Symposium (1990)
Get full text
Conference Proceeding
Tight bounds on the complexity of cascaded decomposition of automata
Get full text
Conference Proceeding
A fast algorithm for optimally increasing the edge-connectivity
Naor, D., Gusfield, D., Martel, C.
Published in Foundations of Computer Science, 31st Symposium (1990)
Published in Foundations of Computer Science, 31st Symposium (1990)
Get full text
Conference Proceeding
Asynchronous PRAMs are (almost) as good as synchronous PRAMs
Martel, C., Subramonian, R., Part, A.
Published in Foundations of Computer Science, 31st Symposium (1990)
Published in Foundations of Computer Science, 31st Symposium (1990)
Get full text
Conference Proceeding