Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-4
|
Results: 4
On the complexity of k-SAT
Authors:
Impagliazzo, R Paturi, R
Citation:
R. Impagliazzo et R. Paturi, On the complexity of k-SAT, J COMPUT SY, 62(2), 2001, pp. 367-375
Exponential lower bounds for depth three Boolean circuits
Authors:
Paturi, R Saks, ME Zane, F
Citation:
R. Paturi et al., Exponential lower bounds for depth three Boolean circuits, COMP COMPLE, 9(1), 2000, pp. 1-15
Scalable network architectures using the Optical Transpose InterconnectionSystem (OTIS)
Authors:
Zane, F Marchand, P Paturi, R Esener, S
Citation:
F. Zane et al., Scalable network architectures using the Optical Transpose InterconnectionSystem (OTIS), J PAR DISTR, 60(5), 2000, pp. 521-538
Satisfiability coding lemma
Authors:
Paturi, R Pudlak, P Zane, F
Citation:
R. Paturi et al., Satisfiability coding lemma, CH J THEOR, (11), 1999, pp. 1-19
Risultati:
1-4
|