Loading...
Loading...

Go to the content (press return)

A parametric approach for smaller and better encodings of cardinality constraints

Author
Abio, I.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.
Type of activity
Presentation of work at congresses
Name of edition
19th International Conference on Principles and Practice of Constraint Programming
Date of publication
2013
Presentation's date
2013-09-16
Book of congress proceedings
Principles and Practice of Constraint Programing - CP 2013 19th International Conference, CP 2012, Uppsala, Sweden, September 16-20, 2013, Proceedings
First page
80
Last page
96
Publisher
Springer
DOI
https://doi.org/10.1007/978-3-642-40627-0_9 Open in new window
Project funding
Sweetlogics-UPC
Repository
http://hdl.handle.net/2117/23251 Open in new window
URL
http://link.springer.com/chapter/10.1007%2F978-3-642-40627-0_9 Open in new window
Abstract
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-...
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.
Group of research
LOGPROG - Logic and Programming

Participants

Attachments