Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/109142
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor | Atserias, Albert |
dc.contributor.author | Casals Buñuel, Joaquim |
dc.date | 2017-10 |
dc.identifier.citation | FME-1530 |
dc.identifier.uri | http://hdl.handle.net/2117/109142 |
dc.language.iso | eng |
dc.publisher | Universitat Politècnica de Catalunya |
dc.rights | info:eu-repo/semantics/openAccess |
dc.rights | http://creativecommons.org/licenses/by-nc-sa/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Aplicacions de la informàtica |
dc.subject | Computer science |
dc.subject | Circuit complexity |
dc.subject | Complexity lower bounds |
dc.subject | Satisfiability algorithms |
dc.subject | Informàtica |
dc.subject | Classificació AMS::68 Computer science::68Q Theory of computing |
dc.title | On lower bounds for circuit complexity and algorithms for satisfiability |
dc.type | info:eu-repo/semantics/masterThesis |
dc.description.abstract |