DSpace DSpace UPC
 Català   Castellano   English  

E-prints UPC >
Altres >
Enviament des de DRAC >

Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/2117/9794

Ítem no disponible en accés obert per política de l'editorial

Arxiu Descripció MidaFormat
Cardinality_networks.pdf449,17 kBAdobe PDF Accés restringit

Citació: Asín, R.J. [et al.]. Cardinality networks and their applications. A: International Conference on Theory and Applications of Satisfiability Testing. "12th International Conference on Theory and Applications of Satisfiability Testing". Springer, 2009, p. 167-180.
Títol: Cardinality networks and their applications
Autor: Asín Acha, Roberto Javier Veure Producció científica UPC; Nieuwenhuis, Robert Lukas Mario Veure Producció científica UPC; Oliveras Llunell, Albert Veure Producció científica UPC; Rodríguez Carbonell, Enric Veure Producció científica UPC
Editorial: Springer
Data: 2009
Tipus de document: Conference report
Resum: We introduce Cardinality Networks, a new CNF encoding of cardinality constraints. It improves upon the previously existing encodings such as the sorting networks of [ES06] in that it requires much less clauses and auxiliary variables, while arc consistency is still preserved: e.g., for a constraint x 1 + ... + x n  ≤ k, as soon as k variables among the x i ’s become true, unit propagation sets all other x i ’s to false. Our encoding also still admits incremental strengthening: this constraint for any smaller k is obtained without adding any new clauses, by setting a single variable to false. Here we give precise recursive definitions of the clause sets that are needed and give detailed proofs of the required properties. We demonstrate the practical impact of this new encoding by careful experiments comparing it with previous encodings on real-world instances.
ISBN: 978-3-642-02776-5
URI: http://hdl.handle.net/2117/9794
DOI: 10.1007/978-3-642-02777-2_18
Versió de l'editor: http://cataleg.upc.edu/record=b1310042~S1*cat
Apareix a les col·leccions:LOGPROG - Logica i Programacio. Ponències/Comunicacions de congressos
Departament de Ciències de la Computació. Ponències/Comunicacions de congressos
Altres. Enviament des de DRAC
Comparteix:


Stats Mostra les estadístiques d'aquest ítem

SFX Query

Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets.

Per a qualsevol ús que se'n vulgui fer no previst a la llei, dirigiu-vos a: sepi.bupc@upc.edu

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius