Carregant...
Carregant...

Vés al contingut (premeu Retorn)

A parametric approach for smaller and better encodings of cardinality constraints

Autor
Abio, I.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
19th International Conference on Principles and Practice of Constraint Programming
Any de l'edició
2013
Data de presentació
2013-09-16
Llibre d'actes
Principles and Practice of Constraint Programing - CP 2013 19th International Conference, CP 2012, Uppsala, Sweden, September 16-20, 2013, Proceedings
Pàgina inicial
80
Pàgina final
96
Editor
Springer
DOI
https://doi.org/10.1007/978-3-642-40627-0_9 Obrir en finestra nova
Projecte finançador
Sweetlogics-UPC
Repositori
http://hdl.handle.net/2117/23251 Obrir en finestra nova
URL
http://link.springer.com/chapter/10.1007%2F978-3-642-40627-0_9 Obrir en finestra nova
Resum
Adequate encodings for high-level constraints are a key ingredient for the application of SAT technology. In particular, cardinality constraints state that at most (at least, or exactly) k out of n propositional variables can be true. They are crucial in many applications. Although sophisticated encodings for cardinality constraints exist, it is well known that for small n and k straightforward encodings without auxiliary variables sometimes behave better, and that the choice of the right trade-...
Citació
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.
Grup de recerca
LOGPROG - Lògica i Programació

Participants

Arxius