Marques-Silva, Joao and Lynce, Ines (2007) Towards Robust CNF Encodings of Cardinality Constraints. International Conference on Principles and Practice of Constraint Programming, Providence, RI, United States. pp. 483-497 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: September 2007
Additional Information:
Event Dates: September 2007
Venue - Dates:
International Conference on Principles and Practice of Constraint Programming, Providence, RI, United States, 2007-09-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 264200
URI: http://eprints.soton.ac.uk/id/eprint/264200
PURE UUID: 4f83de89-f046-4557-bb31-94f57814b01f
Catalogue record
Date deposited: 15 Jun 2007
Last modified: 14 Mar 2024 07:44
Export record
Contributors
Author:
Joao Marques-Silva
Author:
Ines Lynce
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.