Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/14924

A new upper bound for 3-SAT
Díaz Cort, Josep; Lefteris, Kirousis; Mitsche, Dieter; Perez-Gimenez, Xavier
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
Artículo - Versión publicada
Objeto de conferencia
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
         

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Fabila Monroy, Ruy; Huemer, Clemens; Mitsche, Dieter
Fabila Monroy, Ruy; Hidalgo Toscano, Carlos; Huemer, Clemens; Lara, Dolores; Mitsche, Dieter