Publications

Towards Robust Cnf Encodings of Cardinality Constraints

AuthID
P-007-K6Q

Author(s)

Marques Silva, J

Lynce, I

Editor(s)

Bessiere,C

Document Type

Proceedings Paper

Year published

2007

Published

in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2007 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 4741, Pages: 483-+ (3)

Conference

13Th International Conference on Principles and Practice of Constraint Programming (Cp 2007), Date: SEP 23-27, 2007, Location: Providence, RI, Sponsors: Assoc Constraint Programming, Brown Univ, Cork Constraint Computat Ctr, Fidel Investments, Google, IBM, ILOG, Cornell Univ, Intelligent Informat Syst Inst, Natl ICT Australia, Nokia, Springer, Univ Connecticut

Indexing