loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Soukaina Hattad ; Said Jabbour ; Lakhdar Sais and Yakoub Salhi

Affiliation: CRIL - CNRS and University of Artois, France

Keyword(s): Satisfiability, Linear inequalities, Cardinality Constraints.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Constraint Satisfaction ; Symbolic Systems

Abstract: In this paper, we propose to deal with the encoding of cardinality constraints ∑ni=1 xi ≥ b into conjunctive normal form. We consider the one proposed recently (Jabbour et al., 2014) based on pigeon-hole problem. Then, we show that even if the number of clauses of the CNF based encoding is in O(b x (n - b)),, the number of literals of resulting formula can be much more higher O(b(n-b)²)$. To decrease the complexity in terms of number of literals, we propose a compact representation of some clauses of the encoding. Our approach allows to have a quadratic encoding in terms of literals while maintaining the same complexity in terms of clauses and additional variables. An experimental evaluation is performed to show the competitiveness of the new encoding.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.191.228.88

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Hattad, S.; Jabbour, S.; Sais, L. and Salhi, Y. (2017). Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints. In Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART; ISBN 978-989-758-220-2; ISSN 2184-433X, SciTePress, pages 299-307. DOI: 10.5220/0006252502990307

@conference{icaart17,
author={Soukaina Hattad. and Said Jabbour. and Lakhdar Sais. and Yakoub Salhi.},
title={Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints},
booktitle={Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART},
year={2017},
pages={299-307},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006252502990307},
isbn={978-989-758-220-2},
issn={2184-433X},
}

TY - CONF

JO - Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART
TI - Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints
SN - 978-989-758-220-2
IS - 2184-433X
AU - Hattad, S.
AU - Jabbour, S.
AU - Sais, L.
AU - Salhi, Y.
PY - 2017
SP - 299
EP - 307
DO - 10.5220/0006252502990307
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic