Dipòsit Digital de Documents de la UAB 6 registres trobats  La cerca s'ha fet en 0.01 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.
36 p, 313.0 KB Partially definable forcing and bounded arithmetic / Atserias, Albert ; Müller, Moritz ; Centre de Recerca Matemàtica
Centre de Recerca Matemàtica 2011 (Prepublicacions del Centre de Recerca Matemàtica ; 1007)  
6.
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 Muller, M.
2 Muller, Martin N.
4 Müller, M.
1 Müller, M. S.
1 Müller, Marcus
1 Müller, Markus
1 Müller, Maurice E.
1 Müller, Monique
Us interessa rebre alertes sobre nous resultats d'aquesta cerca?
Definiu una alerta personal via correu electrònic o subscribiu-vos al canal RSS.