HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Said Jabbour

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
Dolius: A Distributed Parallel SAT Solving Framework
Gilles Audemard, Benoît Hoessen, Saïd Jabbour and Cédric Piette
In:POS-14. Fifth Pragmatics of SAT workshop

Keyphrases

cardinality constraints, distributed computing, Framework, modelling, propositional satisfiability, SAT platform.

Copyright © 2012-2025 easychair.org. All rights reserved.