Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • LoginRegisterLog in (no UPC users)
  • mailContact Us
  • world English 
    • Català
    • Castellano
    • English
  • userLogin   
      LoginRegisterLog in (no UPC users)

UPCommons. Global access to UPC knowledge

Banner header
61.603 UPC E-Prints
You are here:
View Item 
  •   DSpace Home
  • E-prints
  • Departaments
  • Departament de Ciències de la Computació
  • Ponències/Comunicacions de congressos
  • View Item
  •   DSpace Home
  • E-prints
  • Departaments
  • Departament de Ciències de la Computació
  • Ponències/Comunicacions de congressos
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Cardinality networks and their applications

Thumbnail
View/Open
Cardinality_networks.pdf (449,1Kb) (Restricted access)   Request copy 

Què és aquest botó?

Aquest botó permet demanar una còpia d'un document restringit a l'autor. Es mostra quan:

  • Disposem del correu electrònic de l'autor
  • El document té una mida inferior a 20 Mb
  • Es tracta d'un document d'accés restringit per decisió de l'autor o d'un document d'accés restringit per política de l'editorial
 
10.1007/978-3-642-02777-2_18
 
  View Usage Statistics
  LA Referencia / Recolecta stats
Cita com:
hdl:2117/9794

Show full item record
Asín Acha, Roberto Javier
Nieuwenhuis, Robert Lukas MarioMés informacióMés informació
Oliveras Llunell, AlbertMés informacióMés informacióMés informació
Rodríguez Carbonell, EnricMés informacióMés informacióMés informació
Document typeConference report
Defense date2009
PublisherSpringer
Rights accessRestricted access - publisher's policy
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder
Abstract
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.
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. 
URIhttp://hdl.handle.net/2117/9794
DOI10.1007/978-3-642-02777-2_18
ISBN978-3-642-02776-5
Publisher versionhttp://cataleg.upc.edu/record=b1310042~S1*cat
Collections
  • Departament de Ciències de la Computació - Ponències/Comunicacions de congressos [1.249]
  • LOGPROG - Lògica i Programació - Ponències/Comunicacions de congressos [30]
  View Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
Cardinality_networks.pdfBlocked449,1KbPDFRestricted access

Browse

This CollectionBy Issue DateAuthorsOther contributionsTitlesSubjectsThis repositoryCommunities & CollectionsBy Issue DateAuthorsOther contributionsTitlesSubjects

© UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

info.biblioteques@upc.edu

  • About This Repository
  • Contact Us
  • Send Feedback
  • Privacy Settings
  • Inici de la pàgina