Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
Yijia Chen
Publicacions
Consistency and optimality, 2011
CHEN, Y.; FLUM, J. & MÜLLER, M. *Consistency and optimality*. Publicacions del CRM, núm. 1014 (2011)
Consistency and Optimality, 2011
CHEN, Y.; FLUM, J. & MÜLLER, M. `Consistency and Optimality´. In: *Proceedings of the 7th Computability in Europe (CiE)*, Springer LNCS 6735, 61–70 (2011)
Hard instances of algorithms and proof systems, 2011
CHEN, Y.; FLUM, J. & MÜLLER, M. *Hard instances of algorithms and proof systems*. Publicacions del CRM, núm. 1024 (2011)
Hard instances of algorithms and proof systems, 2010
CHEN, Y.; FLUM, J. & MÜLLER, M. `Hard instances of algorithms and proof systems´. Submitted
Lower bounds for kernelizations, 2008
CHEN, Y.; FLUM, J. & MÜLLER, M. *Lower bounds for kernelizations*. Publicacions del CRM, núm. 836 (2008)
Lower bounds for kernelizations and other preprocessing procedures, 2011
CHEN, Y.; FLUM, J. & MÜLLER, M. `Lower bounds for kernelizations and other preprocessing procedures´. *Theory of Computing Systems*; 48 (4), 803–839 (2011)
On optimal probabilistic algorithms for Sat, 2011
CHEN, Y.; FLUM, J. & MÜLLER, M. *On optimal probabilistic algorithms for Sat*. Publicacions del CRM, núm. 1008 (2011)
On p-optimal proof systems and logics for PTIME, 2010
CHEN, Y. & FLUM, J. *On p-optimal proof systems and logics for PTIME*. Publicacions del CRM, núm. 997 (2010)
On slicewise monotone parameterized problems and optimal proof systems for TAUT, 2010
CHEN, Y. & FLUM, J. *On slicewise monotone parameterized problems and optimal proof systems for TAUT*. Publicacions del CRM, núm. 998 (2010)
Strong isomorphism reductions in complexity theory, 2011
BUSS, S.; CHEN, Y.; FLUM, J.; FRIEDMAN, S.D. & MÜLLER, M. `Strong isomorphism reductions in complexity theory´. *The Journal of Symbolic Logic*; 76, 1381-1402 (2011)
Strong isomorphism reductions in complexity theory, 2011
BUSS, S.; CHEN, Y.; FLUM J.; FRIEDMAN, S.-D. & MÜLLER, M. *Strong isomorphism reductions in complexity theory*. Publicacions del CRM, núm. 1009 (2011)
Participacions a Congressos
Infinity Conference
CRM, Bellaterra (18/7/2011- 22/7/2011)
Organitzat pel programa de recerca Infinity Project (2009-2011)