Show simple item record

dc.contributor.authorAsín Acha, Roberto Javier
dc.contributor.authorNieuwenhuis, Robert Lukas Mario
dc.contributor.authorOliveras Llunell, Albert
dc.contributor.authorRodríguez Carbonell, Enric
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.date.accessioned2010-10-19T09:00:16Z
dc.date.available2010-10-19T09:00:16Z
dc.date.created2009
dc.date.issued2009
dc.identifier.citationAsí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.
dc.identifier.isbn978-3-642-02776-5
dc.identifier.urihttp://hdl.handle.net/2117/9794
dc.description.abstractWe 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.
dc.format.extent14 p.
dc.language.isoeng
dc.publisherSpringer
dc.subjectÀrees temàtiques de la UPC::Informàtica::Programació
dc.subject.lcshComputer science
dc.titleCardinality networks and their applications
dc.typeConference report
dc.subject.lemacCàlcul proposicional -- Congressos
dc.subject.lemacAlgorismes computacionals -- Congressos
dc.contributor.groupUniversitat Politècnica de Catalunya. LOGPROG - Lògica i Programació
dc.identifier.doi10.1007/978-3-642-02777-2_18
dc.relation.publisherversionhttp://cataleg.upc.edu/record=b1310042~S1*cat
dc.rights.accessRestricted access - publisher's policy
local.identifier.drac3240771
dc.description.versionPostprint (published version)
local.citation.authorAsín, R.J.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.
local.citation.contributorInternational Conference on Theory and Applications of Satisfiability Testing
local.citation.publicationName12th International Conference on Theory and Applications of Satisfiability Testing
local.citation.startingPage167
local.citation.endingPage180


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record