Marques-Silva, J. and Lynce, I. (2007) Towards Robust CNF Encodings of Cardinality Constraints. In: International Conference on Principles and Practice of Constraint Programming, September 2007, Providence, RI, USA. pp. 483-497.
Download
![[img]](http://eprints.ecs.soton.ac.uk/style/images/fileicons/application_pdf.png)
|
PDF
Available under License Creative Commons Attribution Non-commercial No Derivatives. 225Kb |
| Item Type: | Conference or Workshop Item | ||||
|---|---|---|---|---|---|
| Creator/Authors: |
| ||||
| Research Group: | Old ECS Groups > Dependable Systems and Software Engineering Research Group | ||||
| Date: | September 2007 | ||||
| Information about this record: | |||||
| Performance Indicator: | EZ~02~01~04 | ||||
| Citations: | ISI: 7, Google Scholar: 35 | ||||
| Downloads (2010): | 46 | ||||
| ID Code: | 14200 | ||||
| Last Modified: | 23 Sep 2011 10:35 | ||||
| Deposited On: | 15 Jun 2007 by Marques-Silva, Joao | ||||
Tools & Metadata
Download Statistics
Members of ECS may view the download statistics dashboard for this record.
Corrections
ECS staff and postgraduates may modify this record
