Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/28288
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.contributor.author | Atserias, Albert |
dc.contributor.author | Thapen, Neil |
dc.date | 2014 |
dc.identifier.citation | Atserias, A.; Thapen, N. The ordering principle in a fragment of approximate counting. "ACM transactions on computational logic", 2014, vol. 15, núm. 4. |
dc.identifier.citation | 1529-3785 |
dc.identifier.citation | 10.1145/2629555 |
dc.identifier.uri | http://hdl.handle.net/2117/28288 |
dc.language.iso | eng |
dc.relation | http://dl.acm.org/citation.cfm?id=2656934.2629555&coll=DL&dl=ACM&CFID=619558704&CFTOKEN=44653771 |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat |
dc.subject | Computational complexity |
dc.subject | Theory |
dc.subject | Algorithms |
dc.subject | Bounded arithmetic |
dc.subject | Propositional proof complexity |
dc.subject | Polynomial local search |
dc.subject | Weak Pigeonhole Principle |
dc.subject | Complexitat computacional |
dc.title | The ordering principle in a fragment of approximate counting |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/article |
dc.description.abstract | |
dc.description.abstract |