Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/109142
Títol: | On lower bounds for circuit complexity and algorithms for satisfiability |
---|---|
Autor/a: | Casals Buñuel, Joaquim |
Altres autors: | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Atserias, Albert |
Abstract: | |
Matèries: | -Àrees temàtiques de la UPC::Informàtica::Aplicacions de la informàtica -Computer science -Circuit complexity -Complexity lower bounds -Satisfiability algorithms -Informàtica -Classificació AMS::68 Computer science::68Q Theory of computing |
Drets: | http://creativecommons.org/licenses/by-nc-sa/3.0/es/ |
Tipus de document: | Treballs d'investigació/Fi de màster |
Publicat per: | Universitat Politècnica de Catalunya |
Compartir: |