Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/23254
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 | Ansótegui Gil, Carlos |
dc.contributor.author | Bonet Carbonell, M. Luisa |
dc.contributor.author | Gabàs, Joel |
dc.contributor.author | Levy Díaz, Jordi |
dc.date | 2013 |
dc.identifier.citation | Ansótegui, C. [et al.]. Improving WPM2 for (weighted) partial MaxSAT. 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. 117-132. |
dc.identifier.citation | 978-364240626-3 |
dc.identifier.citation | 10.1007/978-3-642-40627-0_12 |
dc.identifier.uri | http://hdl.handle.net/2117/23254 |
dc.language.iso | eng |
dc.publisher | Springer |
dc.relation | http://link.springer.com/chapter/10.1007%2F978-3-642-40627-0_12 |
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 | Combinatorial optimization problems |
dc.subject | Experimental evaluation |
dc.subject | Max-SAT |
dc.subject | New approaches |
dc.subject | Optimality |
dc.subject | Satisfiability problems |
dc.subject | Smt solvers |
dc.subject | Subformulas |
dc.subject | Programació per restriccions (Informàtica) |
dc.title | Improving WPM2 for (weighted) partial MaxSAT |
dc.type | info:eu-repo/semantics/publishedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract |