To access the full text documents, please follow this link: http://hdl.handle.net/2117/170483
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor.author | Ansótegui Gil, Carlos |
dc.contributor.author | Bofill Arasa, Miquel |
dc.contributor.author | Coll Caballero, Jordi |
dc.contributor.author | Dang, Nguyen |
dc.contributor.author | Esteban Ángeles, Juan Luis |
dc.contributor.author | Miguel, Ian |
dc.contributor.author | Nightingale, Peter |
dc.contributor.author | Salamon, András Z. |
dc.contributor.author | Suy Franch, Josep |
dc.contributor.author | Villaret Auselle, Mateu |
dc.date | 2019 |
dc.identifier.citation | Ansótegui, C. [et al.]. Automatic detection of at-most-one and exactly-one relations for improved SAT encodings of pseudo-boolean constraints. A: International Conference on Principles and Practice of Constraint Programming. "Principles and Practice of Constraint Programming 25th International Conference, CP 2019: Stamford, CT, USA, September 30-October 4, 2019: proceedings". Berlín: Springer, 2019, p. 20-36. |
dc.identifier.citation | 978-3-030-30048-7 |
dc.identifier.citation | 10.1007/978-3-030-30048-7_2 |
dc.identifier.uri | http://hdl.handle.net/2117/170483 |
dc.language.iso | eng |
dc.publisher | Springer |
dc.relation | https://link.springer.com/chapter/10.1007/978-3-030-30048-7_2 |
dc.relation | info:eu-repo/grantAgreement/ES/TIN2016-76573-C2-1-P |
dc.relation | info:eu-repo/grantAgreement/ES/TIN2016-76573-C2-2-P |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject | Constraint programming (Computer science) |
dc.subject | Computer algorithms |
dc.subject | Algebra, Boolean |
dc.subject | Automatic CSP reformulation |
dc.subject | SAT |
dc.subject | Pseudo-Boolean |
dc.subject | Atmost-one constraint |
dc.subject | Programació per restriccions (Informàtica) |
dc.subject | Algorismes computacionals |
dc.subject | Àlgebra booleana |
dc.title | Automatic detection of at-most-one and exactly-one relations for improved SAT encodings of pseudo-boolean constraints |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract | |
dc.description.abstract |