Dipòsit Digital de Documents de la UAB 7 registres trobats  La cerca s'ha fet en 0.00 segons. 
1.
23 p, 249.0 KB Hard instances of algorithms and proof systems / Chen, Yijia ; Flum, Jörg ; Müller, Moritz ; Centre de Recerca Matemàtica
"Vegeu el resum a l'inici del document del fitxer adjunt".
Centre de Recerca Matemàtica 2011 (Prepublicacions del Centre de Recerca Matemàtica ; 1024)  
2.
11 p, 182.8 KB Consistency and optimality / Chen, Yijia ; Flum, Jörg ; Müller, Moritz ; Centre de Recerca Matemàtica
Assume that the problem Qo is not solvable in polynomial time. For theories T containing a sufficiently rich part of true arithmetic we characterize T U {ConT} as the minimal extension of T proving for some algorithm that it decides Qo as fast as any algorithm B with the property that T proves that B decides Qo. [...]
Centre de Recerca Matemàtica 2011 (Prepublicacions del Centre de Recerca Matemàtica ; 1014)  
3.
26 p, 265.7 KB Strong isomorphism reductions in complexity theory / Buss, Samuel R. ; Chen, Yijia ; Flum, Jörg ; Friedman, Sy D. ; Müller, Moritz ; Centre de Recerca Matemàtica
We give the first systematic study of strong isomorphism reductions, a notion of reduction more appropriate than polynomial time reduction when, for example, comparing the computational complexity of the isomorphim problem for different classes of structures. [...]
Centre de Recerca Matemàtica 2011 (Prepublicacions del Centre de Recerca Matemàtica ; 1009)  
4.
6 p, 152.3 KB On optimal probabilistic algorithms for Sat / Chen, Yijia ; Flum, Jörg ; Müller, Moritz ; Centre de Recerca Matemàtica
Centre de Recerca Matemàtica 2011 (Prepublicacions del Centre de Recerca Matemàtica ; 1008)  
5.
16 p, 213.2 KB On slicewise monotone parameterized problems and optimal proof systems for TAUT / Chen, Yijia ; Flum, Jörg ; Centre de Recerca Matemàtica
"Vegeu el resum a l'inici del document del fitxer adjunt".
Centre de Recerca Matemàtica 2010 (Prepublicacions del Centre de Recerca Matemàtica ; 998)  
6.
13 p, 212.6 KB On p-optimal proof systems and logics for PTIME / Chen, Yijia ; Flum, Jörg ; Centre de Recerca Matemàtica
"Vegeu el resum a l'inici del document del fitxer adjunt".
Centre de Recerca Matemàtica 2010 (Prepublicacions del Centre de Recerca Matemàtica ; 997)  
7.
37 p, 301.6 KB Lower bounds for kernelizations / Chen, Yijia ; Flum, Jörg ; Müller, Moritz ; Centre de Recerca Matemàtica
"Vegeu el resum a l'inici del document del fitxer adjunt".
Centre de Recerca Matemàtica 2008 (Prepublicacions del Centre de Recerca Matemàtica ; 836)  

Vegeu també: autors amb noms similars
4 Chen, Y-H.
244 Chen, Y.
2 Chen, Y. -H.
1 Chen, Y. A.
18 Chen, Y. C.
1 Chen, Y. Eugene
63 Chen, Y. H.
2 Chen, Y. Z.
2 Chen, Y.-H.
1 Chen, Y.C.
1 Chen, Y.D.I.
24 Chen, Y.H.
2 Chen, Y.M.
1 Chen, Y.Z.
1 Chen, YEugene
1 Chen, Yang
1 Chen, Yangyang
1 Chen, Yao
2 Chen, Yaolong
1 Chen, Yaosheng
1 Chen, Yasheng
1 Chen, Ye
1 Chen, Yi
1 Chen, Yi-Bin
1 Chen, Yi-Wen
1 Chen, Yi-Ying
3 Chen, Yii Der Ida
1 Chen, Ying
1 Chen, Yingjun
4 Chen, Yingxian
1 Chen, Yiwen
3 Chen, Yiyi
1 Chen, Yong
1 Chen, You-Sheng
1 Chen, Youyang
5 Chen, Yu
1 Chen, Yu-Heng
1 Chen, Yuan
4 Chen, Yue
1 Chen, Yuehmin
2 Chen, Yufen
1 Chen, Yuling
1 Chen, Yun Ching
1 Chen, Yun-Ru
2 Chen, Yunming
1 Chen, Yuqi
Us interessa rebre alertes sobre nous resultats d'aquesta cerca?
Definiu una alerta personal via correu electrònic o subscribiu-vos al canal RSS.