To access the full text documents, please follow this link: 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/
info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/conferenceObject
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
         

Show full item record

Related documents

Other documents of the same author

Fabila Monroy, Ruy; Huemer, Clemens; Mitsche, Dieter
Fabila-Monroy, Ruy; Huemer, Clemens; Mitsche, Dieter
Díaz Cort, Josep; Dieter Wilhelm, Mitsche; Santi, Paolo
 

Coordination

 

Supporters