Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/23253
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.contributor.author | Stuckey, Peter |
dc.date | 2013 |
dc.identifier.citation | Abío, I. [et al.]. To encode or to propagate? The best choice for each constraint in SAT. 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. 97-106. |
dc.identifier.citation | 978-364240626-3 |
dc.identifier.citation | 10.1007/978-3-642-40627-0_10 |
dc.identifier.uri | http://hdl.handle.net/2117/23253 |
dc.language.iso | eng |
dc.publisher | Springer |
dc.relation | http://link.springer.com/chapter/10.1007%2F978-3-642-40627-0_10 |
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 | Active constraints |
dc.subject | Auxiliary variables |
dc.subject | Cardinality constraints |
dc.subject | Compact encoding |
dc.subject | Experimental evidence |
dc.subject | Exponential numbers |
dc.subject | On the flies |
dc.subject | Sat modulo theories |
dc.subject | Programació per restriccions (Informàtica) |
dc.title | To encode or to propagate? The best choice for each constraint in SAT |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract |