Towards Robust Cnf Encodings of Cardinality Constraints

AuthID
P-007-K6Q
2
Author(s)
1
Editor(es)
Bessiere,C
Tipo de Documento
Proceedings Paper
Year published
2007
Publicado
in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2007 in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 4741, Páginas: 483-+ (3)
Conference
13Th International Conference on Principles and Practice of Constraint Programming (Cp 2007), Date: SEP 23-27, 2007, Location: Providence, RI, Patrocinadores: 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
Publication Identifiers
DBLP: conf/cp/SilvaL07
SCOPUS: 2-s2.0-38149062117
Wos: WOS:000250936000033
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.