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/
Article - Published version
Conference Object
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; Hidalgo Toscano, Carlos; Huemer, Clemens; Lara, Dolores; Mitsche, Dieter
 

Coordination

 

Supporters