UAB Digital Repository of Documents 6 records found  Search took 0.01 seconds. 
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)  

See also: similar author names
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
Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.