Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Badran Raddaoui
Publications
Efficient SAT-Based Encodings of Conditional Cardinality Constraints
Abdelhamid Boudane
,
Said Jabbour
,
Badran Raddaoui
and
Lakhdar Sais
In
:
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Keyphrases
cardinality constraints
,
modelling
,
propositional satisfiability
.
Copyright © 2012-2024 easychair.org. All rights reserved.