To access the full text documents, please follow this link: http://hdl.handle.net/2117/23251
dc.contributor | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació |
dc.contributor.author | Abío Roig, Ignasi |
dc.contributor.author | Nieuwenhuis, Robert Lukas Mario |
dc.contributor.author | Oliveras Llunell, Albert |
dc.contributor.author | Rodríguez Carbonell, Enric |
dc.date | 2013 |
dc.identifier.citation | Abío, I. [et al.]. A parametric approach for smaller and better encodings of cardinality constraints. A: International Conference on Principles and Practice of Constraint Programming. "Principles and Practice of Constraint Programing - CP 2013 19th International Conference, CP 2012, Uppsala, Sweden, September 16-20, 2013, Proceedings". Uppsala: Springer, 2013, p. 80-96. |
dc.identifier.citation | 978-364240626-3 |
dc.identifier.citation | 10.1007/978-3-642-40627-0_9 |
dc.identifier.uri | http://hdl.handle.net/2117/23251 |
dc.language.iso | eng |
dc.publisher | Springer |
dc.relation | http://link.springer.com/chapter/10.1007%2F978-3-642-40627-0_9 |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Programació |
dc.subject | Constraint programming (Computer science) |
dc.subject | Programació per restriccions (Informàtica) |
dc.title | A parametric approach for smaller and better encodings of cardinality constraints |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract |