To access the full text documents, please follow this link: http://hdl.handle.net/2117/124274
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació |
dc.contributor.author | Aisenberg, James |
dc.contributor.author | Bonet Carbonell, M. Luisa |
dc.contributor.author | Buss, Sam |
dc.contributor.author | Craciun, Adrian |
dc.contributor.author | Istrate, Gabriel |
dc.date | 2018-08 |
dc.identifier.citation | Aisenberg, J., Bonet, M., Buss, S., Craciun, A., Istrate, G. Short proofs of the Kneser-Lovász coloring principle. "Information and computation", Agost 2018, vol. 261, Part 2, p. 296-310. |
dc.identifier.citation | 0890-5401 |
dc.identifier.citation | 10.1016/j.ic.2018.02.010 |
dc.identifier.uri | http://hdl.handle.net/2117/124274 |
dc.language.iso | eng |
dc.relation | https://www.sciencedirect.com/science/article/pii/S0890540118300130 |
dc.relation | info:eu-repo/grantAgreement/ES/1PE/TIN2013-48031-C4-1-P |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights | info:eu-repo/semantics/openAccess |
dc.rights | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject | Polynomials |
dc.subject | Combinatorial proof |
dc.subject | Frege proofs |
dc.subject | Polynomial size |
dc.subject | Quasi-poly-nomial |
dc.subject | Kneser–Lovász theorem |
dc.subject | Hilton–Milner theorem |
dc.subject | Polinomis |
dc.title | Short proofs of the Kneser-Lovász coloring principle |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/article |
dc.description.abstract | |
dc.description.abstract |