loading
Papers

Research.Publish.Connect.

Paper

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

Affiliation: CRIL - CNRS and University of Artois, France

ISBN: 978-989-758-220-2

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.

PDF ImageFull Text

Download
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 3.215.182.36

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, 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},
}

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
AU - Hattad, S.
AU - Jabbour, S.
AU - Sais, L.
AU - Salhi, Y.
PY - 2017
SP - 299
EP - 307
DO - 10.5220/0006252502990307

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.