Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Saïd Jabbour
@article{DBLP:journals/dke/HidouriJRY23,
author = {Amel Hidouri and
Sa{\"{\i}}d Jabbour and
Badran Raddaoui and
Boutheina Ben Yaghlane},
title = {Corrigendum to "Mining Closed High Utility Itemsets based on
Propositional Satisfiability" [Data Knowl. Eng. 136C {(2021)}
101927]},
journal = {Data Knowl. Eng.},
volume = {146},
pages = {102200},
year = {2023},
url = {https://doi.org/10.1016/j.datak.2023.102200},
doi = {10.1016/J.DATAK.2023.102200},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/HidouriJRY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai3/Jabbour0R23,
author = {Sa{\"{\i}}d Jabbour and
Yue Ma and
Badran Raddaoui},
editor = {Gianvincenzo Alfano and
Stefano Ferilli},
title = {Towards Novel Inference Relations based on Logical Argumentation},
booktitle = {Proceedings of the 7th Workshop on Advances in Argumentation in Artificial
Intelligence (AI{\^{}}3 2023) co-located with the 22nd International
Conference of the Italian Association for Artificial Intelligence
(AIxIA 2023), Rome, Italy, November 9, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3546},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3546/paper09.pdf},
timestamp = {Fri, 08 Dec 2023 14:24:28 +0100},
biburl = {https://dblp.org/rec/conf/ai3/Jabbour0R23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/data/LonlacDJNRS23,
author = {Jerry Lonlac and
Imen Ouled Dlala and
Sa{\"{\i}}d Jabbour and
Engelbert Mephu Nguifo and
Badran Raddaoui and
Lakhdar Sais},
editor = {Oleg Gusikhin and
Slimane Hammoudi and
Alfredo Cuzzocrea},
title = {Extracting Frequent Gradual Patterns Based on {SAT}},
booktitle = {Proceedings of the 12th International Conference on Data Science,
Technology and Applications, {DATA} 2023, Rome, Italy, July 11-13,
2023},
pages = {136--143},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0012126000003541},
doi = {10.5220/0012126000003541},
timestamp = {Mon, 31 Jul 2023 15:42:50 +0200},
biburl = {https://dblp.org/rec/conf/data/LonlacDJNRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dawak/HassineJKRG23,
author = {Motaz Ben Hassine and
Sa{\"{\i}}d Jabbour and
Mourad Kmimech and
Badran Raddaoui and
Mohamed Graiet},
editor = {Robert Wrembel and
Johann Gamper and
Gabriele Kotsis and
A Min Tjoa and
Ismail Khalil},
title = {A Non-overlapping Community Detection Approach Based on {\(\alpha\)}-Structural
Similarity},
booktitle = {Big Data Analytics and Knowledge Discovery - 25th International Conference,
DaWaK 2023, Penang, Malaysia, August 28-30, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14148},
pages = {197--211},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-39831-5\_19},
doi = {10.1007/978-3-031-39831-5\_19},
timestamp = {Mon, 14 Aug 2023 16:42:48 +0200},
biburl = {https://dblp.org/rec/conf/dawak/HassineJKRG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsaa/IngDJRS23,
author = {David Ing and
Fabien Delorme and
Sa{\"{\i}}d Jabbour and
Nelly Robin and
Lakhdar Sais},
title = {Classification with Explanation for Human Trafficking Networks},
booktitle = {10th {IEEE} International Conference on Data Science and Advanced
Analytics, {DSAA} 2023, Thessaloniki, Greece, October 9-13, 2023},
pages = {1--10},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DSAA60987.2023.10302606},
doi = {10.1109/DSAA60987.2023.10302606},
timestamp = {Thu, 16 Nov 2023 09:03:43 +0100},
biburl = {https://dblp.org/rec/conf/dsaa/IngDJRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiwas/HidouriRJ23,
author = {Amel Hidouri and
Badran Raddaoui and
Sa{\"{\i}}d Jabbour},
editor = {Pari Delir Haghighi and
Eric Pardede and
Gillian Dobbie and
Vithya Yogarajan and
Ngurah Agus Sanjaya Er and
Gabriele Kotsis and
Ismail Khalil},
title = {Towards a Unified Symbolic {AI} Framework for Mining High Utility
Itemsets},
booktitle = {Information Integration and Web Intelligence - 25th International
Conference, iiWAS 2023, Denpasar, Bali, Indonesia, December 4-6, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14416},
pages = {77--91},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-48316-5\_11},
doi = {10.1007/978-3-031-48316-5\_11},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iiwas/HidouriRJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HidouriRJ23,
author = {Amel Hidouri and
Badran Raddaoui and
Sa{\"{\i}}d Jabbour},
title = {Targeting Minimal Rare Itemsets from Transaction Databases},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {2114--2121},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/235},
doi = {10.24963/IJCAI.2023/235},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HidouriRJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JabbourRS23,
author = {Sa{\"{\i}}d Jabbour and
Badran Raddaoui and
Lakhdar Sais},
title = {A Symbolic Approach to Computing Disjunctive Association Rules from
Data},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {2133--2141},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/237},
doi = {10.24963/IJCAI.2023/237},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/JabbourRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RaddaouiSJ23,
author = {Badran Raddaoui and
Christian Stra{\ss}er and
Sa{\"{\i}}d Jabbour},
title = {A Comparative Study of Ranking Formulas Based on Consistency},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {3330--3337},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/371},
doi = {10.24963/IJCAI.2023/371},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/RaddaouiSJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/JabbourMR22,
author = {Sa{\"{\i}}d Jabbour and
Yue Ma and
Badran Raddaoui},
title = {A Framework for Reasoning About Uncertainty in Ontologies},
journal = {{IEEE} Intell. Syst.},
volume = {37},
number = {6},
pages = {27--37},
year = {2022},
url = {https://doi.org/10.1109/MIS.2022.3220687},
doi = {10.1109/MIS.2022.3220687},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/expert/JabbourMR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdmmm/NekkacheJKS22,
author = {Ikram Nekkache and
Sa{\"{\i}}d Jabbour and
Nadjet Kamel and
Lakhdar Sais},
title = {Detecting and exploiting symmetries in sequential pattern mining},
journal = {Int. J. Data Min. Model. Manag.},
volume = {14},
number = {4},
pages = {309--334},
year = {2022},
url = {https://doi.org/10.1504/IJDMMM.2022.10051602},
doi = {10.1504/IJDMMM.2022.10051602},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijdmmm/NekkacheJKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adma/Martin-PrinDTJ22,
author = {Julien Martin{-}Prin and
Imen Ouled Dlala and
Nicolas Travers and
Sa{\"{\i}}d Jabbour},
editor = {Weitong Chen and
Lina Yao and
Taotao Cai and
Shirui Pan and
Tao Shen and
Xue Li},
title = {A Distributed SAT-Based Framework for Closed Frequent Itemset Mining},
booktitle = {Advanced Data Mining and Applications - 18th International Conference,
{ADMA} 2022, Brisbane, QLD, Australia, November 28-30, 2022, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13726},
pages = {419--433},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22137-8\_31},
doi = {10.1007/978-3-031-22137-8\_31},
timestamp = {Wed, 31 May 2023 15:58:13 +0200},
biburl = {https://dblp.org/rec/conf/adma/Martin-PrinDTJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JabbourMRS22,
author = {Sa{\"{\i}}d Jabbour and
Nizar Mhadhbi and
Badran Raddaoui and
Lakhdar Sais},
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {A Declarative Framework for Maximal \emph{k}-plex Enumeration Problems},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {660--668},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p660.pdf},
doi = {10.5555/3535850.3535925},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/JabbourMRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HidouriJR22,
author = {Amel Hidouri and
Sa{\"{\i}}d Jabbour and
Badran Raddaoui},
editor = {Christine Solnon},
title = {On the Enumeration of Frequent High Utility Itemsets: {A} Symbolic
{AI} Approach},
booktitle = {28th International Conference on Principles and Practice of Constraint
Programming, {CP} 2022, July 31 to August 8, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {235},
pages = {27:1--27:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CP.2022.27},
doi = {10.4230/LIPICS.CP.2022.27},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/HidouriJR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dawak/JabbourKR22,
author = {Sa{\"{\i}}d Jabbour and
Mourad Kmimech and
Badran Raddaoui},
editor = {Robert Wrembel and
Johann Gamper and
Gabriele Kotsis and
A Min Tjoa and
Ismail Khalil},
title = {Discovering Overlapping Communities Based on Cohesive Subgraph Models
over Graph Data},
booktitle = {Big Data Analytics and Knowledge Discovery - 24th International Conference,
DaWaK 2022, Vienna, Austria, August 22-24, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13428},
pages = {189--201},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-12670-3\_16},
doi = {10.1007/978-3-031-12670-3\_16},
timestamp = {Mon, 01 Aug 2022 15:53:38 +0200},
biburl = {https://dblp.org/rec/conf/dawak/JabbourKR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/HidouriJRCY22,
author = {Amel Hidouri and
Sa{\"{\i}}d Jabbour and
Badran Raddaoui and
Mouna Chebbah and
Boutheina Ben Yaghlane},
editor = {Davide Ciucci and
In{\'{e}}s Couso and
Jes{\'{u}}s Medina and
Dominik Slezak and
Davide Petturiti and
Bernadette Bouchon{-}Meunier and
Ronald R. Yager},
title = {A Parallel Declarative Framework for Mining High Utility Itemsets},
booktitle = {Information Processing and Management of Uncertainty in Knowledge-Based
Systems - 19th International Conference, {IPMU} 2022, Milan, Italy,
July 11-15, 2022, Proceedings, Part {II}},
series = {Communications in Computer and Information Science},
volume = {1602},
pages = {624--637},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08974-9\_50},
doi = {10.1007/978-3-031-08974-9\_50},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipmu/HidouriJRCY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/HidouriJRY21,
author = {Amel Hidouri and
Sa{\"{\i}}d Jabbour and
Badran Raddaoui and
Boutheina Ben Yaghlane},
title = {Mining Closed High Utility Itemsets based on Propositional Satisfiability},
journal = {Data Knowl. Eng.},
volume = {136},
pages = {101927},
year = {2021},
url = {https://doi.org/10.1016/j.datak.2021.101927},
doi = {10.1016/J.DATAK.2021.101927},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/HidouriJRY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/HidouriJDR21,
author = {Amel Hidouri and
Sa{\"{\i}}d Jabbour and
Imen Ouled Dlala and
Badran Raddaoui},
editor = {Yixin Chen and
Heiko Ludwig and
Yicheng Tu and
Usama M. Fayyad and
Xingquan Zhu and
Xiaohua Hu and
Suren Byna and
Xiong Liu and
Jianping Zhang and
Shirui Pan and
Vagelis Papalexakis and
Jianwu Wang and
Alfredo Cuzzocrea and
Carlos Ordonez},
title = {On Minimal and Maximal High Utility Itemsets Mining using Propositional
Satisfiability},
booktitle = {2021 {IEEE} International Conference on Big Data (Big Data), Orlando,
FL, USA, December 15-18, 2021},
pages = {622--628},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/BigData52589.2021.9671422},
doi = {10.1109/BIGDATA52589.2021.9671422},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bigdataconf/HidouriJDR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/NekkacheJSK21,
author = {Ikram Nekkache and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Nadjet Kamel},
editor = {Peter J. Stuckey},
title = {Towards a Compact SAT-Based Encoding of Itemset Mining Tasks},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 18th International Conference, {CPAIOR} 2021,
Vienna, Austria, July 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12735},
pages = {163--178},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78230-6\_11},
doi = {10.1007/978-3-030-78230-6\_11},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/NekkacheJSK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dawak/HidouriJRCY21,
author = {Amel Hidouri and
Sa{\"{\i}}d Jabbour and
Badran Raddaoui and
Mouna Chebbah and
Boutheina Ben Yaghlane},
editor = {Matteo Golfarelli and
Robert Wrembel and
Gabriele Kotsis and
A Min Tjoa and
Ismail Khalil},
title = {A Declarative Framework for Mining Top-k High Utility Itemsets},
booktitle = {Big Data Analytics and Knowledge Discovery - 23rd International Conference,
DaWaK 2021, Virtual Event, September 27-30, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12925},
pages = {250--256},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86534-4\_24},
doi = {10.1007/978-3-030-86534-4\_24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dawak/HidouriJRCY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/HidouriJLR21,
author = {Amel Hidouri and
Sa{\"{\i}}d Jabbour and
Jerry Lonlac and
Badran Raddaoui},
title = {A Constraint-based Approach for Enumerating Gradual Itemsets},
booktitle = {33rd {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2021, Washington, DC, USA, November 1-3, 2021},
pages = {582--589},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICTAI52525.2021.00093},
doi = {10.1109/ICTAI52525.2021.00093},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/HidouriJLR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/JabbourMRS20,
author = {Sa{\"{\i}}d Jabbour and
Nizar Mhadhbi and
Badran Raddaoui and
Lakhdar Sais},
title = {SAT-based models for overlapping community detection in networks},
journal = {Computing},
volume = {102},
number = {5},
pages = {1275--1299},
year = {2020},
url = {https://doi.org/10.1007/s00607-020-00803-y},
doi = {10.1007/S00607-020-00803-Y},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/JabbourMRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/WakrimeRJ20,
author = {Abderrahim Ait Wakrime and
Mouna Rekik and
Sa{\"{\i}}d Jabbour},
title = {Cloud service composition using minimal unsatisfiability and genetic
algorithm},
journal = {Concurr. Comput. Pract. Exp.},
volume = {32},
number = {15},
year = {2020},
url = {https://doi.org/10.1002/cpe.5282},
doi = {10.1002/CPE.5282},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/WakrimeRJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/paapp/WakrimeJH20,
author = {Abderrahim Ait Wakrime and
Sa{\"{\i}}d Jabbour and
Nabil Hameurlain},
title = {A MaxSAT based approach for QoS cloud services},
journal = {Int. J. Parallel Emergent Distributed Syst.},
volume = {35},
number = {6},
pages = {641--651},
year = {2020},
url = {https://doi.org/10.1080/17445760.2018.1499908},
doi = {10.1080/17445760.2018.1499908},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/paapp/WakrimeJH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dawak/HidouriJRY20,
author = {Amel Hidouri and
Sa{\"{\i}}d Jabbour and
Badran Raddaoui and
Boutheina Ben Yaghlane},
editor = {Min Song and
Il{-}Yeol Song and
Gabriele Kotsis and
A Min Tjoa and
Ismail Khalil},
title = {A SAT-Based Approach for Mining High Utility Itemsets from Transaction
Databases},
booktitle = {Big Data Analytics and Knowledge Discovery - 22nd International Conference,
DaWaK 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12393},
pages = {91--106},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59065-9\_8},
doi = {10.1007/978-3-030-59065-9\_8},
timestamp = {Thu, 28 Mar 2024 17:43:11 +0100},
biburl = {https://dblp.org/rec/conf/dawak/HidouriJRY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/IzzaJRB20,
author = {Yacine Izza and
Sa{\"{\i}}d Jabbour and
Badran Raddaoui and
Abdelhamid Boudane},
editor = {Christian Bessiere},
title = {On the Enumeration of Association Rules: {A} Decomposition-based Approach},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1265--1271},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/176},
doi = {10.24963/IJCAI.2020/176},
timestamp = {Mon, 20 Jul 2020 12:38:52 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/IzzaJRB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/JabbourMR19,
author = {Sa{\"{\i}}d Jabbour and
Yue Ma and
Badran Raddaoui},
editor = {Mantas Simkus and
Grant E. Weddell},
title = {Towards a Prudent Argumentation Framework for Reasoning with Imperfect
Ontologies},
booktitle = {Proceedings of the 32nd International Workshop on Description Logics,
Oslo, Norway, June 18-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2373},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2373/paper-48.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/JabbourMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/JabbourMRS19,
author = {Sa{\"{\i}}d Jabbour and
Nizar Mhadhbi and
Badran Raddaoui and
Lakhdar Sais},
editor = {Marie{-}Christine Rousset and
Lydia Boudjeloud{-}Assala},
title = {Repr{\'{e}}sentations compactes des graphes et contraintes pseudo
bool{\'{e}}ennes},
booktitle = {Extraction et Gestion des connaissances, {EGC} 2019, Metz, France,
January 21-25, 2019},
series = {{RNTI}},
volume = {{E-35}},
pages = {407--412},
publisher = {{\'{E}}ditions {RNTI}},
year = {2019},
url = {http://editions-rnti.fr/?inprocid=1002522},
timestamp = {Tue, 26 Nov 2019 17:09:48 +0100},
biburl = {https://dblp.org/rec/conf/f-egc/JabbourMRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/JabbourLS19,
author = {Sa{\"{\i}}d Jabbour and
Jerry Lonlac and
Lakhdar Sa{\"{\i}}s},
title = {Mining Gradual Itemsets Using Sequential Pattern Mining},
booktitle = {2019 {IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE}
2019, New Orleans, LA, USA, June 23-26, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/FUZZ-IEEE.2019.8858864},
doi = {10.1109/FUZZ-IEEE.2019.8858864},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fuzzIEEE/JabbourLS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wise/JabbourMR19,
author = {Sa{\"{\i}}d Jabbour and
Yue Ma and
Badran Raddaoui},
editor = {Reynold Cheng and
Nikos Mamoulis and
Yizhou Sun and
Xin Huang},
title = {Handling Disagreement in Ontologies-Based Reasoning via Argumentation},
booktitle = {Web Information Systems Engineering - {WISE} 2019 - 20th International
Conference, Hong Kong, China, November 26-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11881},
pages = {389--406},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34223-4\_25},
doi = {10.1007/978-3-030-34223-4\_25},
timestamp = {Sun, 02 Oct 2022 16:17:39 +0200},
biburl = {https://dblp.org/rec/conf/wise/JabbourMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-08452,
author = {Jerry Lonlac and
Sa{\"{\i}}d Jabbour and
Engelbert Mephu Nguifo and
Lakhdar Sa{\"{\i}}s and
Badran Raddaoui},
title = {Extracting Frequent Gradual Patterns Using Constraints Modeling},
journal = {CoRR},
volume = {abs/1903.08452},
year = {2019},
url = {http://arxiv.org/abs/1903.08452},
eprinttype = {arXiv},
eprint = {1903.08452},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-08452.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Jabbour18,
author = {Sa{\"{\i}}d Jabbour},
title = {Des Donn{\'{e}}es aux Connaissances : Mod{\`{e}}les et Algorithmes},
year = {2018},
url = {https://tel.archives-ouvertes.fr/tel-03703452},
timestamp = {Thu, 21 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/hal/Jabbour18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/BoudaneJSS18,
author = {Abdelhamid Boudane and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi},
title = {SAT-Based Data Mining},
journal = {Int. J. Artif. Intell. Tools},
volume = {27},
number = {1},
pages = {1840002:1--1840002:24},
year = {2018},
url = {https://doi.org/10.1142/S021821301840002X},
doi = {10.1142/S021821301840002X},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/BoudaneJSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/JabbourLSS18,
author = {Sa{\"{\i}}d Jabbour and
Jerry Lonlac and
Lakhdar Sa{\"{\i}}s and
Yakoub Salhi},
title = {Revisiting the Learned Clauses Database Reduction Strategies},
journal = {Int. J. Artif. Intell. Tools},
volume = {27},
number = {8},
pages = {1850033:1--1850033:19},
year = {2018},
url = {https://doi.org/10.1142/S0218213018500331},
doi = {10.1142/S0218213018500331},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/JabbourLSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/JabbourMRS18,
author = {Sa{\"{\i}}d Jabbour and
Nizar Mhadhbi and
Badran Raddaoui and
Lakhdar Sais},
editor = {Leonard Barolli and
Makoto Takizawa and
Tomoya Enokido and
Marek R. Ogiela and
Lidia Ogiela and
Nadeem Javaid},
title = {Triangle-Driven Community Detection in Large Graphs Using Propositional
Satisfiability},
booktitle = {32nd {IEEE} International Conference on Advanced Information Networking
and Applications, {AINA} 2018, Krakow, Poland, May 16-18, 2018},
pages = {437--444},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/AINA.2018.00072},
doi = {10.1109/AINA.2018.00072},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/JabbourMRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/JabbourMRS18,
author = {Sa{\"{\i}}d Jabbour and
Nizar Mhadhbi and
Badran Raddaoui and
Lakhdar Sais},
editor = {Naoki Abe and
Huan Liu and
Calton Pu and
Xiaohua Hu and
Nesreen K. Ahmed and
Mu Qiao and
Yang Song and
Donald Kossmann and
Bing Liu and
Kisung Lee and
Jiliang Tang and
Jingrui He and
Jeffrey S. Saltz},
title = {Detecting Highly Overlapping Community Structure by Model-based Maximal
Clique Expansion},
booktitle = {{IEEE} International Conference on Big Data {(IEEE} BigData 2018),
Seattle, WA, USA, December 10-13, 2018},
pages = {1031--1036},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/BigData.2018.8621868},
doi = {10.1109/BIGDATA.2018.8621868},
timestamp = {Fri, 19 Nov 2021 16:08:20 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/JabbourMRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/JabbourMDRS18,
author = {Sa{\"{\i}}d Jabbour and
Fatima Ezzahra Mana and
Imen Ouled Dlala and
Badran Raddaoui and
Lakhdar Sais},
editor = {John N. Hooker},
title = {On Maximal Frequent Itemsets Mining with Constraints},
booktitle = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
pages = {554--569},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_36},
doi = {10.1007/978-3-319-98334-9\_36},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/JabbourMDRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DlalaJRS18,
author = {Imen Ouled Dlala and
Sa{\"{\i}}d Jabbour and
Badran Raddaoui and
Lakhdar Sais},
editor = {John N. Hooker},
title = {A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining},
booktitle = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
pages = {570--587},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_37},
doi = {10.1007/978-3-319-98334-9\_37},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/DlalaJRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ida/JabbourMRS18,
author = {Sa{\"{\i}}d Jabbour and
Nizar Mhadhbi and
Badran Raddaoui and
Lakhdar Sais},
editor = {Wouter Duivesteijn and
Arno Siebes and
Antti Ukkonen},
title = {Pushing the Envelope in Overlapping Communities Detection},
booktitle = {Advances in Intelligent Data Analysis {XVII} - 17th International
Symposium, {IDA} 2018, 's-Hertogenbosch, The Netherlands, October
24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11191},
pages = {151--163},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01768-2\_13},
doi = {10.1007/978-3-030-01768-2\_13},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ida/JabbourMRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BoudaneJRS18,
author = {Abdelhamid Boudane and
Sa{\"{\i}}d Jabbour and
Badran Raddaoui and
Lakhdar Sais},
editor = {Gilles Barthe and
Geoff Sutcliffe and
Margus Veanes},
title = {Efficient SAT-Based Encodings of Conditional Cardinality Constraints},
booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
2018},
series = {EPiC Series in Computing},
volume = {57},
pages = {181--195},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/kfjb},
doi = {10.29007/KFJB},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BoudaneJRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-00211,
author = {Abdelhamid Boudane and
Sa{\"{\i}}d Jabbour and
Badran Raddaoui and
Lakhdar Sais},
title = {Efficient Encodings of Conditional Cardinality Constraints},
journal = {CoRR},
volume = {abs/1804.00211},
year = {2018},
url = {http://arxiv.org/abs/1804.00211},
eprinttype = {arXiv},
eprint = {1804.00211},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-00211.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/JabbourSS17,
author = {Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi},
title = {Mining Top-k motifs with a SAT-based framework},
journal = {Artif. Intell.},
volume = {244},
pages = {30--47},
year = {2017},
url = {https://doi.org/10.1016/j.artint.2015.11.003},
doi = {10.1016/J.ARTINT.2015.11.003},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/JabbourSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/JabbourMRS17,
author = {Sa{\"{\i}}d Jabbour and
Yue Ma and
Badran Raddaoui and
Lakhdar Sais},
title = {Quantifying conflicts in propositional logic through prime implicates},
journal = {Int. J. Approx. Reason.},
volume = {89},
pages = {27--40},
year = {2017},
url = {https://doi.org/10.1016/j.ijar.2016.12.017},
doi = {10.1016/J.IJAR.2016.12.017},
timestamp = {Fri, 04 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/JabbourMRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eda/JabbourMRS17,
author = {Sa{\"{\i}}d Jabbour and
Nizar Mhadhbi and
Badran Raddaoui and
Lakhdar Sais},
editor = {Omar Boussa{\"{\i}}d and
Fadila Bentayeb and
J{\'{e}}r{\^{o}}me Darmont},
title = {Finding Overlapping Communities in Networks Using Propositional Satisfiability},
booktitle = {Actes des 13{\`{e}}mes journ{\'{e}}es francophones sur les Entrep{\^{o}}ts
de Donn{\'{e}}es et l'Analyse en Ligne, Business Intelligence
{\&} Big Data, {EDA} 2017, Lyon, France, 3-5 mai 2017},
series = {{RNTI}},
volume = {{B-13}},
pages = {67--80},
publisher = {{\'{E}}ditions {RNTI}},
year = {2017},
url = {http://editions-rnti.fr/?inprocid=1002339},
timestamp = {Sat, 18 Nov 2017 17:33:23 +0100},
biburl = {https://dblp.org/rec/conf/eda/JabbourMRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/BoudaneJSS17,
author = {Abdelhamid Boudane and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi},
editor = {Fabien Gandon and
Gilles Bisson},
title = {Une approche logique pour la fouille de r{\`{e}}gles d'association},
booktitle = {17{\`{e}}me Journ{\'{e}}es Francophones Extraction et Gestion
des Connaissances, {EGC} 2017, 24-27 Janvier 2017, Grenoble, France},
series = {{RNTI}},
volume = {{E-33}},
pages = {357--362},
publisher = {{\'{E}}ditions {RNTI}},
year = {2017},
url = {http://editions-rnti.fr/?inprocid=1002298},
timestamp = {Fri, 16 Apr 2021 10:04:12 +0200},
biburl = {https://dblp.org/rec/conf/f-egc/BoudaneJSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/HattadJSS17,
author = {Soukaina Hattad and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi},
editor = {H. Jaap van den Herik and
Ana Paula Rocha and
Joaquim Filipe},
title = {Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints},
booktitle = {Proceedings of the 9th International Conference on Agents and Artificial
Intelligence, {ICAART} 2017, Volume 2, Porto, Portugal, February 24-26,
2017},
pages = {299--307},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006252502990307},
doi = {10.5220/0006252502990307},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icaart/HattadJSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pakdd/BoudaneJSS17a,
author = {Abdelhamid Boudane and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi},
editor = {Jinho Kim and
Kyuseok Shim and
Longbing Cao and
Jae{-}Gil Lee and
Xuemin Lin and
Yang{-}Sae Moon},
title = {Clustering Complex Data Represented as Propositional Formulas},
booktitle = {Advances in Knowledge Discovery and Data Mining - 21st Pacific-Asia
Conference, {PAKDD} 2017, Jeju, South Korea, May 23-26, 2017, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10235},
pages = {441--452},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57529-2\_35},
doi = {10.1007/978-3-319-57529-2\_35},
timestamp = {Mon, 16 Mar 2020 17:44:09 +0100},
biburl = {https://dblp.org/rec/conf/pakdd/BoudaneJSS17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pakdd/JabbourMRS17,
author = {Sa{\"{\i}}d Jabbour and
Nizar Mhadhbi and
Badran Raddaoui and
Lakhdar Sais},
editor = {Jinho Kim and
Kyuseok Shim and
Longbing Cao and
Jae{-}Gil Lee and
Xuemin Lin and
Yang{-}Sae Moon},
title = {A SAT-Based Framework for Overlapping Community Detection in Networks},
booktitle = {Advances in Knowledge Discovery and Data Mining - 21st Pacific-Asia
Conference, {PAKDD} 2017, Jeju, South Korea, May 23-26, 2017, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10235},
pages = {786--798},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57529-2\_61},
doi = {10.1007/978-3-319-57529-2\_61},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pakdd/JabbourMRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pakdd/BoudaneJSS17,
author = {Abdelhamid Boudane and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi},
editor = {Jinho Kim and
Kyuseok Shim and
Longbing Cao and
Jae{-}Gil Lee and
Xuemin Lin and
Yang{-}Sae Moon},
title = {Enumerating Non-redundant Association Rules Using Satisfiability},
booktitle = {Advances in Knowledge Discovery and Data Mining - 21st Pacific-Asia
Conference, {PAKDD} 2017, Jeju, South Korea, May 23-26, 2017, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10234},
pages = {824--836},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57454-7\_64},
doi = {10.1007/978-3-319-57454-7\_64},
timestamp = {Mon, 16 Mar 2020 17:44:09 +0100},
biburl = {https://dblp.org/rec/conf/pakdd/BoudaneJSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socpar/JabbourMS17,
author = {Sa{\"{\i}}d Jabbour and
Fatima Zahra Mana and
Lakhdar Sais},
editor = {Ajith Abraham and
Abdelkrim Haqiq and
Azah Kamilah Muda and
Niketa Gandhi},
title = {On Maximal Frequent Itemsets Enumeration},
booktitle = {Proceedings of the Ninth International Conference on Soft Computing
and Pattern Recognition, SoCPaR 2017, Marrakech, Morocco, December
11-13, 2017},
series = {Advances in Intelligent Systems and Computing},
volume = {737},
pages = {151--160},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-76357-6\_15},
doi = {10.1007/978-3-319-76357-6\_15},
timestamp = {Fri, 08 Jun 2018 10:36:36 +0200},
biburl = {https://dblp.org/rec/conf/socpar/JabbourMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/BouzeghoubJMR17,
author = {Amel Bouzeghoub and
Sa{\"{\i}}d Jabbour and
Yue Ma and
Badran Raddaoui},
editor = {Amit P. Sheth and
Axel Ngonga and
Yin Wang and
Elizabeth Chang and
Dominik Slezak and
Bogdan Franczyk and
Rainer Alt and
Xiaohui Tao and
Rainer Unland},
title = {Handling conflicts in uncertain ontologies using deductive argumentation},
booktitle = {Proceedings of the International Conference on Web Intelligence, Leipzig,
Germany, August 23-26, 2017},
pages = {65--72},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106426.3106454},
doi = {10.1145/3106426.3106454},
timestamp = {Fri, 04 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/webi/BouzeghoubJMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/WakrimeJ17,
author = {Abderrahim Ait Wakrime and
Sa{\"{\i}}d Jabbour},
editor = {Sumitra Reddy and
Wojciech Cellary and
Mariagrazia Fugini},
title = {Formal Approach for QoS-Aware Cloud Service Composition},
booktitle = {26th {IEEE} International Conference on Enabling Technologies: Infrastructure
for Collaborative Enterprises, {WETICE} 2017, Poznan, Poland, June
21-23, 2017},
pages = {30--35},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/WETICE.2017.61},
doi = {10.1109/WETICE.2017.61},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/WakrimeJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/HamadiJS16,
author = {Youssef Hamadi and
Sa{\"{\i}}d Jabbour and
Lakhdar Sa{\"{\i}}s},
title = {What we can learn from conflicts in propositional satisfiability},
journal = {Ann. Oper. Res.},
volume = {240},
number = {1},
pages = {13--37},
year = {2016},
url = {https://doi.org/10.1007/s10479-015-2028-9},
doi = {10.1007/S10479-015-2028-9},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/HamadiJS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/WakrimeJ16,
author = {Abderrahim Ait Wakrime and
Sa{\"{\i}}d Jabbour},
title = {On repairing queries in cloud computing},
booktitle = {13th {IEEE/ACS} International Conference of Computer Systems and Applications,
{AICCSA} 2016, Agadir, Morocco, November 29 - December 2, 2016},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/AICCSA.2016.7945802},
doi = {10.1109/AICCSA.2016.7945802},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/WakrimeJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/JabbourMMRS16,
author = {Sa{\"{\i}}d Jabbour and
Nizar Mhadhbi and
Abdesattar Mhadhbi and
Badran Raddaoui and
Lakhdar Sais},
editor = {James Joshi and
George Karypis and
Ling Liu and
Xiaohua Hu and
Ronay Ak and
Yinglong Xia and
Weijia Xu and
Aki{-}Hiro Sato and
Sudarsan Rachuri and
Lyle H. Ungar and
Philip S. Yu and
Rama Govindaraju and
Toyotaro Suzumura},
title = {Summarizing big graphs by means of pseudo-boolean constraints},
booktitle = {2016 {IEEE} International Conference on Big Data {(IEEE} BigData 2016),
Washington DC, USA, December 5-8, 2016},
pages = {889--894},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/BigData.2016.7840683},
doi = {10.1109/BIGDATA.2016.7840683},
timestamp = {Fri, 19 Nov 2021 16:08:20 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/JabbourMMRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/JabbourRSS16,
author = {Sa{\"{\i}}d Jabbour and
Badran Raddaoui and
Lakhdar Sais and
Yakoub Salhi},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {On the Computation of Top-k Extensions in Abstract Argumentation Frameworks},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {913--920},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-913},
doi = {10.3233/978-1-61499-672-9-913},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/ecai/JabbourRSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/JabbourS16,
author = {Sa{\"{\i}}d Jabbour and
Lakhdar Sais},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {Exploiting {MUS} Structure to Measure Inconsistency of Knowledge Bases},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {991--998},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-991},
doi = {10.3233/978-1-61499-672-9-991},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/JabbourS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Jabbour16,
author = {Sa{\"{\i}}d Jabbour},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {On Inconsistency Measuring and Resolving},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {1676--1677},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1676},
doi = {10.3233/978-1-61499-672-9-1676},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Jabbour16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/JabbourRS16,
author = {Sa{\"{\i}}d Jabbour and
Badran Raddaoui and
Lakhdar Sais},
editor = {H. Jaap van den Herik and
Joaquim Filipe},
title = {Knowledge Base Compilation for Inconsistency Measures},
booktitle = {Proceedings of the 8th International Conference on Agents and Artificial
Intelligence {(ICAART} 2016), Volume 2, Rome, Italy, February 24-26,
2016},
pages = {532--539},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005824305320539},
doi = {10.5220/0005824305320539},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/JabbourRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/DlalaJRSY16,
author = {Imen Ouled Dlala and
Sa{\"{\i}}d Jabbour and
Badran Raddaoui and
Lakhdar Sais and
Boutheina Ben Yaghlane},
title = {A SAT-Based Approach for Enumerating Interesting Patterns from Uncertain
Data},
booktitle = {28th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2016, San Jose, CA, USA, November 6-8, 2016},
pages = {255--262},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICTAI.2016.0047},
doi = {10.1109/ICTAI.2016.0047},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/DlalaJRSY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/JabbourKSS16,
author = {Sa{\"{\i}}d Jabbour and
Souhila Kaci and
Lakhdar Sais and
Yakoub Salhi},
title = {Itemset Mining with Penalties},
booktitle = {28th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2016, San Jose, CA, USA, November 6-8, 2016},
pages = {962--966},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICTAI.2016.0148},
doi = {10.1109/ICTAI.2016.0148},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/JabbourKSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BoudaneJSS16,
author = {Abdelhamid Boudane and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi},
editor = {Subbarao Kambhampati},
title = {A SAT-Based Approach for Mining Association Rules},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {2472--2478},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/352},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BoudaneJSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/JabbourMRSS16,
author = {Sa{\"{\i}}d Jabbour and
Yue Ma and
Badran Raddaoui and
Lakhdar Sais and
Yakoub Salhi},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {A {MIS} Partition Based Framework for Measuring Inconsistency},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {84--93},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12854},
timestamp = {Fri, 04 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/JabbourMRSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sgai/DlalaJSY16,
author = {Imen Ouled Dlala and
Sa{\"{\i}}d Jabbour and
Lakhdar Sa{\"{\i}}s and
Boutheina Ben Yaghlane},
editor = {Max Bramer and
Miltos Petridis},
title = {A Comparative Study of SAT-Based Itemsets Mining},
booktitle = {Research and Development in Intelligent Systems {XXXIII} - Incorporating
Applications and Innovations in Intelligent Systems {XXIV.} Proceedings
of AI-2016, The Thirty-Sixth {SGAI} International Conference on Innovative
Techniques and Applications of Artificial Intelligence, Cambridge,
UK, December 13-15, 2016},
pages = {37--52},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47175-4\_3},
doi = {10.1007/978-3-319-47175-4\_3},
timestamp = {Fri, 07 Jul 2017 09:01:33 +0200},
biburl = {https://dblp.org/rec/conf/sgai/DlalaJSY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/DlalaJSSY15,
author = {Imen Ouled Dlala and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi and
Boutheina Ben Yaghlane},
title = {Parallel {SAT} based closed frequent itemsets enumeration},
booktitle = {12th {IEEE/ACS} International Conference of Computer Systems and Applications,
{AICCSA} 2015, Marrakech, Morocco, November 17-20, 2015},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/AICCSA.2015.7507151},
doi = {10.1109/AICCSA.2015.7507151},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/DlalaJSSY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JabbourMRSS15,
author = {Sa{\"{\i}}d Jabbour and
Yue Ma and
Badran Raddaoui and
Lakhdar Sais and
Yakoub Salhi},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {On Structure-Based Inconsistency Measures and Their Computations via
Closed Set Packing},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {1749--1750},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2773417},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/JabbourMRSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/JabbourRS15,
author = {Sa{\"{\i}}d Jabbour and
Badran Raddaoui and
Lakhdar Sais},
editor = {St{\'{e}}phane Loiseau and
Joaquim Filipe and
B{\'{e}}atrice Duval and
H. Jaap van den Herik},
title = {Inconsistency-based Ranking of Knowledge Bases},
booktitle = {{ICAART} 2015 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January,
2015},
pages = {414--419},
publisher = {SciTePress},
year = {2015},
timestamp = {Tue, 15 Sep 2015 09:53:57 +0200},
biburl = {https://dblp.org/rec/conf/icaart/JabbourRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icebe/WakrimeBJ15,
author = {Abderrahim Ait Wakrime and
Salima Benbernou and
Sa{\"{\i}}d Jabbour},
editor = {Yinsheng Li and
Xiang Fei and
Kuo{-}Ming Chao and
Jen{-}Yao Chung},
title = {Relaxation Based SaaS for Repairing Failed Queries over the Cloud
Computing},
booktitle = {12th {IEEE} International Conference on e-Business Engineering, {ICEBE}
2015, Beijing, China, October 23-25, 2015},
pages = {245--250},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICEBE.2015.49},
doi = {10.1109/ICEBE.2015.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icebe/WakrimeBJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icta/WakrimeJ15,
author = {Abderrahim Ait Wakrime and
Sa{\"{\i}}d Jabbour},
title = {On QoS web service composition using satisfiability},
booktitle = {5th International Conference on Information {\&} Communication
Technology and Accessibility, {ICTA} 2015, Marrakech, Morocco, December
21-23, 2015},
pages = {1--6},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ICTA.2015.7426929},
doi = {10.1109/ICTA.2015.7426929},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icta/WakrimeJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/JabbourRSS15,
author = {Sa{\"{\i}}d Jabbour and
St{\'{e}}phanie Roussel and
Lakhdar Sais and
Yakoub Salhi},
title = {Mining to Compress Table Constraints},
booktitle = {27th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2015, Vietri sul Mare, Italy, November 9-11, 2015},
pages = {405--412},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICTAI.2015.68},
doi = {10.1109/ICTAI.2015.68},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/JabbourRSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isda/WakrimeJ15,
author = {Abderrahim Ait Wakrime and
Sa{\"{\i}}d Jabbour},
editor = {Ajith Abraham and
Adel M. Alimi and
Abdelkrim Haqiq and
Luis Orozco{-}Barbosa and
Chokri Ben Amar and
Amine Berqia and
Mohamed Ben Halima and
Azah Kamilah Muda and
Kun Ma},
title = {Minimum Unsatisfiability based QoS Web Service Composition over the
Cloud Computing},
booktitle = {15th International Conference on Intelligent Systems Design and Applications,
{ISDA} 2015, Marrakech, Morocco, December 14-16, 2015},
pages = {540--545},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ISDA.2015.7489174},
doi = {10.1109/ISDA.2015.7489174},
timestamp = {Thu, 22 Feb 2024 09:42:25 +0100},
biburl = {https://dblp.org/rec/conf/isda/WakrimeJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pakdd/JabbourSS15,
author = {Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi},
editor = {Tru H. Cao and
Ee{-}Peng Lim and
Zhi{-}Hua Zhou and
Tu Bao Ho and
David Wai{-}Lok Cheung and
Hiroshi Motoda},
title = {Decomposition Based {SAT} Encodings for Itemset Mining Problems},
booktitle = {Advances in Knowledge Discovery and Data Mining - 19th Pacific-Asia
Conference, {PAKDD} 2015, Ho Chi Minh City, Vietnam, May 19-22, 2015,
Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9078},
pages = {662--674},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18032-8\_52},
doi = {10.1007/978-3-319-18032-8\_52},
timestamp = {Tue, 24 Aug 2021 17:53:56 +0200},
biburl = {https://dblp.org/rec/conf/pakdd/JabbourSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JabbourSS15,
author = {Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi},
title = {On {SAT} Models Enumeration in Itemset Mining},
journal = {CoRR},
volume = {abs/1506.02561},
year = {2015},
url = {http://arxiv.org/abs/1506.02561},
eprinttype = {arXiv},
eprint = {1506.02561},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JabbourSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/JabbourLSD14,
author = {Sa{\"{\i}}d Jabbour and
Jerry Lonlac and
Lakhdar Sa{\"{\i}}s and
Cl{\'{e}}mentin Tayou Djam{\'{e}}gni},
title = {R{\'{e}}solution {\'{e}}tendue par substitution dynamique
des fonctions bool{\'{e}}ennes},
journal = {Rev. d'Intelligence Artif.},
volume = {28},
number = {6},
pages = {645--663},
year = {2014},
url = {https://doi.org/10.3166/ria.28.645-663},
doi = {10.3166/RIA.28.645-663},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ria/JabbourLSD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JabbourMR14,
author = {Sa{\"{\i}}d Jabbour and
Yue Ma and
Badran Raddaoui},
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {Inconsistency measurement thanks to mus decomposition},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {877--884},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2615872},
timestamp = {Fri, 04 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/JabbourMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/JabbourMRS14,
author = {Sa{\"{\i}}d Jabbour and
Yue Ma and
Badran Raddaoui and
Lakhdar Sais},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Prime Implicates Based Inconsistency Characterization},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {1037--1038},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-1037},
doi = {10.3233/978-1-61499-419-0-1037},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/JabbourMRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/JabbourKSST14,
author = {Sa{\"{\i}}d Jabbour and
Mehdi Khiari and
Lakhdar Sais and
Yakoub Salhi and
Karim Tabia},
editor = {Chantal Reynaud and
Arnaud Martin and
Ren{\'{e}} Quiniou},
title = {Sym{\'{e}}tries et Extraction de Motifs Ensemblistes},
booktitle = {14{\`{e}}mes Journ{\'{e}}es Francophones Extraction et Gestion
des Connaissances, {EGC} 2014, Rennes, France, 28-32 Janvier, 2014},
series = {Revue des Nouvelles Technologies de l'Information},
volume = {{E-26}},
pages = {407--418},
publisher = {Hermann-{\'{E}}ditions},
year = {2014},
url = {http://editions-rnti.fr/?inprocid=1001953},
timestamp = {Thu, 01 May 2014 17:52:43 +0200},
biburl = {https://dblp.org/rec/conf/f-egc/JabbourKSST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/BenhamouJSS14,
author = {Bela{\"{\i}}d Benhamou and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi},
editor = {Ana L. N. Fred and
Joaquim Filipe},
title = {Symmetry Breaking in Itemset Mining},
booktitle = {{KDIR} 2014 - Proceedings of the International Conference on Knowledge
Discovery and Information Retrieval, Rome, Italy, 21 - 24 October,
2014},
pages = {86--96},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0005078200860096},
doi = {10.5220/0005078200860096},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic3k/BenhamouJSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/BenhamouJSS14a,
author = {Bela{\"{\i}}d Benhamou and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi},
editor = {Ana L. N. Fred and
Jan L. G. Dietz and
David Aveiro and
Kecheng Liu and
Joaquim Filipe},
title = {A Generic and Declarative Method for Symmetry Breaking in Itemset
Mining},
booktitle = {Knowledge Discovery, Knowledge Engineering and Knowledge Management
- 6th International Joint Conference, {IC3K} 2014, Rome, Italy, October
21-24, 2014, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {553},
pages = {143--160},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-25840-9\_10},
doi = {10.1007/978-3-319-25840-9\_10},
timestamp = {Tue, 16 Aug 2022 23:04:35 +0200},
biburl = {https://dblp.org/rec/conf/ic3k/BenhamouJSS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/JabbourMRS14,
author = {Sa{\"{\i}}d Jabbour and
Yue Ma and
Badran Raddaoui and
Lakhdar Sais},
title = {On the Characterization of Inconsistency: {A} Prime Implicates Based
Framework},
booktitle = {26th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2014, Limassol, Cyprus, November 10-12, 2014},
pages = {146--153},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICTAI.2014.31},
doi = {10.1109/ICTAI.2014.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/JabbourMRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GuoJLS14,
author = {Long Guo and
Sa{\"{\i}}d Jabbour and
Jerry Lonlac and
Lakhdar Sais},
title = {Diversification by Clauses Deletion Strategies in Portfolio Parallel
{SAT} Solving},
booktitle = {26th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2014, Limassol, Cyprus, November 10-12, 2014},
pages = {701--708},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICTAI.2014.110},
doi = {10.1109/ICTAI.2014.110},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/GuoJLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/JabbourLSS14,
author = {Sa{\"{\i}}d Jabbour and
Jerry Lonlac and
Lakhdar Sais and
Yakoub Salhi},
editor = {James Joshi and
Elisa Bertino and
Bhavani Thuraisingham and
Ling Liu},
title = {Extending modern {SAT} solvers for models enumeration},
booktitle = {Proceedings of the 15th {IEEE} International Conference on Information
Reuse and Integration, {IRI} 2014, Redwood City, CA, USA, August 13-15,
2014},
pages = {803--810},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/IRI.2014.7051971},
doi = {10.1109/IRI.2014.7051971},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iri/JabbourLSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/JabbourSS14,
author = {Sa{\"{\i}}d Jabbour and
Lakhdar Sa{\"{\i}}s and
Yakoub Salhi},
title = {A Pigeon-Hole Based Encoding of Cardinality Constraints},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2014, Fort Lauderdale, FL, USA, January 6-8, 2014},
year = {2014},
url = {http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014\_Jabbour\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 17:48:47 +0100},
biburl = {https://dblp.org/rec/conf/isaim/JabbourSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/JabbourMSS14,
author = {Sa{\"{\i}}d Jabbour and
Jo{\~{a}}o Marques{-}Silva and
Lakhdar Sais and
Yakoub Salhi},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {Enumerating Prime Implicants of Propositional Formulae in Conjunctive
Normal Form},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {152--165},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_11},
doi = {10.1007/978-3-319-11558-0\_11},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/jelia/JabbourMSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/AudemardHJP14,
author = {Gilles Audemard and
Beno{\^{\i}}t Hoessen and
Sa{\"{\i}}d Jabbour and
C{\'{e}}dric Piette},
title = {An Effective Distributed D{\&}C Approach for the Satisfiability
Problem},
booktitle = {22nd Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2014, Torino, Italy, February
12-14, 2014},
pages = {183--187},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/PDP.2014.92},
doi = {10.1109/PDP.2014.92},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/AudemardHJP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AudemardHJP14,
author = {Gilles Audemard and
Beno{\^{\i}}t Hoessen and
Sa{\"{\i}}d Jabbour and
C{\'{e}}dric Piette},
editor = {Daniel Le Berre},
title = {Dolius: {A} Distributed Parallel {SAT} Solving Framework},
booktitle = {{POS-14.} Fifth Pragmatics of {SAT} workshop, a workshop of the {SAT}
2014 conference, part of FLoC 2014 during the Vienna Summer of Logic,
July 13, 2014, Vienna, Austria},
series = {EPiC Series in Computing},
volume = {27},
pages = {1--11},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/hvqt},
doi = {10.29007/HVQT},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/AudemardHJP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JabbourLSS14,
author = {Sa{\"{\i}}d Jabbour and
Jerry Lonlac and
Lakhdar Sais and
Yakoub Salhi},
title = {Revisiting the Learned Clauses Database Reduction Strategies},
journal = {CoRR},
volume = {abs/1402.1956},
year = {2014},
url = {http://arxiv.org/abs/1402.1956},
eprinttype = {arXiv},
eprint = {1402.1956},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JabbourLSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JabbourMRSS14,
author = {Sa{\"{\i}}d Jabbour and
Yue Ma and
Badran Raddaoui and
Lakhdar Sais and
Yakoub Salhi},
title = {On the measure of conflicts: {A} MUS-Decomposition Based Framework},
journal = {CoRR},
volume = {abs/1406.0155},
year = {2014},
url = {http://arxiv.org/abs/1406.0155},
eprinttype = {arXiv},
eprint = {1406.0155},
timestamp = {Fri, 04 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JabbourMRSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/JabbourSS13,
author = {Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi},
title = {A Pigeon-Hole Based Encoding of Cardinality Constraints},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013026.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/JabbourSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/JabbourSSU13,
author = {Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi and
Takeaki Uno},
editor = {Qi He and
Arun Iyengar and
Wolfgang Nejdl and
Jian Pei and
Rajeev Rastogi},
title = {Mining-based compression approach of propositional formulae},
booktitle = {22nd {ACM} International Conference on Information and Knowledge Management,
CIKM'13, San Francisco, CA, USA, October 27 - November 1, 2013},
pages = {289--298},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505515.2505576},
doi = {10.1145/2505515.2505576},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cikm/JabbourSSU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/JabbourSS13,
author = {Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi},
editor = {Qi He and
Arun Iyengar and
Wolfgang Nejdl and
Jian Pei and
Rajeev Rastogi},
title = {Boolean satisfiability for sequence mining},
booktitle = {22nd {ACM} International Conference on Information and Knowledge Management,
CIKM'13, San Francisco, CA, USA, October 27 - November 1, 2013},
pages = {649--658},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505515.2505577},
doi = {10.1145/2505515.2505577},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cikm/JabbourSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/JabbourR13,
author = {Sa{\"{\i}}d Jabbour and
Badran Raddaoui},
editor = {Linda C. van der Gaag},
title = {Measuring Inconsistency through Minimal Proofs},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- 12th European Conference, {ECSQARU} 2013, Utrecht, The Netherlands,
July 8-10, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7958},
pages = {290--301},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39091-3\_25},
doi = {10.1007/978-3-642-39091-3\_25},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/JabbourR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/JabbourKSST13,
author = {Sa{\"{\i}}d Jabbour and
Mehdi Khiari and
Lakhdar Sais and
Yakoub Salhi and
Karim Tabia},
title = {Symmetry-Based Pruning in Itemset Mining},
booktitle = {25th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2013, Herndon, VA, USA, November 4-6, 2013},
pages = {483--490},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICTAI.2013.78},
doi = {10.1109/ICTAI.2013.78},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/JabbourKSST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/JabbourSS13,
author = {Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi},
editor = {Hendrik Blockeel and
Kristian Kersting and
Siegfried Nijssen and
Filip Zelezn{\'{y}}},
title = {The Top-k Frequent Closed Itemset Mining Using Top-k {SAT} Problem},
booktitle = {Machine Learning and Knowledge Discovery in Databases - European Conference,
{ECML} {PKDD} 2013, Prague, Czech Republic, September 23-27, 2013,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {8190},
pages = {403--418},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40994-3\_26},
doi = {10.1007/978-3-642-40994-3\_26},
timestamp = {Tue, 21 Mar 2023 21:00:11 +0100},
biburl = {https://dblp.org/rec/conf/pkdd/JabbourSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/JabbourLS13,
author = {Sa{\"{\i}}d Jabbour and
Jerry Lonlac and
Lakhdar Sa{\"{\i}}s},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Adding New Bi-Asserting Clauses for Faster Search in Modern {SAT}
Solvers},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7263},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/JabbourLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-4415,
author = {Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi},
title = {Mining to Compact {CNF} Propositional Formulae},
journal = {CoRR},
volume = {abs/1304.4415},
year = {2013},
url = {http://arxiv.org/abs/1304.4415},
eprinttype = {arXiv},
eprint = {1304.4415},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-4415.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-3321,
author = {Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi},
title = {A Mining-Based Compression Approach for Constraint Satisfaction Problems},
journal = {CoRR},
volume = {abs/1305.3321},
year = {2013},
url = {http://arxiv.org/abs/1305.3321},
eprinttype = {arXiv},
eprint = {1305.3321},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-3321.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/4or/HamadiJS12,
author = {Youssef Hamadi and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais},
title = {Learning from conflicts in propositional satisfiability},
journal = {4OR},
volume = {10},
number = {1},
pages = {15--32},
year = {2012},
url = {https://doi.org/10.1007/s10288-011-0191-7},
doi = {10.1007/S10288-011-0191-7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/4or/HamadiJS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/JabbourS12,
author = {Sa{\"{\i}}d Jabbour and
Lakhdar Sais},
title = {Sym{\'{e}}tries et {QBF}},
journal = {Rev. d'Intelligence Artif.},
volume = {26},
number = {1-2},
pages = {103--125},
year = {2012},
url = {https://doi.org/10.3166/ria.26.103-125},
doi = {10.3166/RIA.26.103-125},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ria/JabbourS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CoqueryJSS12,
author = {Emmanuel Coquery and
Sa{\"{\i}}d Jabbour and
Lakhdar Sa{\"{\i}}s and
Yakoub Salhi},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {A SAT-Based Approach for Discovering Frequent, Closed and Maximal
Patterns in a Sequence},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {258--263},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-258},
doi = {10.3233/978-1-61499-098-7-258},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/CoqueryJSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/JabbourSST12,
author = {Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi and
Karim Tabia},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {Symmetries in Itemset Mining},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {432--437},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-432},
doi = {10.3233/978-1-61499-098-7-432},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/JabbourSST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/JabbourLS12,
author = {Sa{\"{\i}}d Jabbour and
Jerry Lonlac and
Lakhdar Sais},
title = {Extending Resolution by Dynamic Substitution of Boolean Functions},
booktitle = {{IEEE} 24th International Conference on Tools with Artificial Intelligence,
{ICTAI} 2012, Athens, Greece, November 7-9, 2012},
pages = {1029--1034},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICTAI.2012.145},
doi = {10.1109/ICTAI.2012.145},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/JabbourLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isipers/SalhiJS12,
author = {Yakoub Salhi and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais},
editor = {Yuzuru Tanaka and
Nicolas Spyratos and
Tetsuya Yoshida and
Carlo Meghini},
title = {Graded Modal Logic {GS5} and Itemset Support Satisfiability},
booktitle = {Information Search, Integration and Personalization - International
Workshop, {ISIP} 2012, Sapporo, Japan, October 11-13, 2012. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {146},
pages = {131--140},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40140-4\_14},
doi = {10.1007/978-3-642-40140-4\_14},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isipers/SalhiJS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AudemardHJLP12,
author = {Gilles Audemard and
Beno{\^{\i}}t Hoessen and
Sa{\"{\i}}d Jabbour and
Jean{-}Marie Lagniez and
C{\'{e}}dric Piette},
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {Revisiting Clause Exchange in Parallel {SAT} Solving},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7317},
pages = {200--213},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8\_16},
doi = {10.1007/978-3-642-31612-8\_16},
timestamp = {Sun, 02 Jun 2019 21:24:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/AudemardHJLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/JabbourLS12,
author = {Sa{\"{\i}}d Jabbour and
Jerry Lonlac and
Lakhdar Sa{\"{\i}}s},
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {Intensification Search in Modern {SAT} Solvers - (Poster Presentation)},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7317},
pages = {491--492},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8\_50},
doi = {10.1007/978-3-642-31612-8\_50},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/JabbourLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/HamadiJS12,
author = {Youssef Hamadi and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais},
editor = {Youssef Hamadi and
{\'{E}}ric Monfroy and
Fr{\'{e}}d{\'{e}}ric Saubion},
title = {Control-Based Clause Sharing in Parallel {SAT} Solving},
booktitle = {Autonomous Search},
pages = {245--267},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-21434-9\_10},
doi = {10.1007/978-3-642-21434-9\_10},
timestamp = {Tue, 23 Feb 2021 09:09:32 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/HamadiJS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/HamadiJPS11,
author = {Youssef Hamadi and
Sa{\"{\i}}d Jabbour and
C{\'{e}}dric Piette and
Lakhdar Sais},
title = {Deterministic Parallel {DPLL}},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {7},
number = {4},
pages = {127--132},
year = {2011},
url = {https://doi.org/10.3233/sat190081},
doi = {10.3233/SAT190081},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/HamadiJPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/CoqueryJS11,
author = {Emmanuel Coquery and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais},
editor = {Myra Spiliopoulou and
Haixun Wang and
Diane J. Cook and
Jian Pei and
Wei Wang and
Osmar R. Za{\"{\i}}ane and
Xindong Wu},
title = {A Constraint Programming Approach for Enumerating Motifs in a Sequence},
booktitle = {Data Mining Workshops (ICDMW), 2011 {IEEE} 11th International Conference
on, Vancouver, BC, Canada, December 11, 2011},
pages = {1091--1097},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICDMW.2011.10},
doi = {10.1109/ICDMW.2011.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdm/CoqueryJS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/Jabbour10,
author = {Sa{\"{\i}}d Jabbour},
title = {Learning from successes},
journal = {Int. J. Artif. Intell. Tools},
volume = {19},
number = {4},
pages = {373--391},
year = {2010},
url = {https://doi.org/10.1142/S0218213010000248},
doi = {10.1142/S0218213010000248},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/Jabbour10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/HamadiJS10,
author = {Youssef Hamadi and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais},
title = {Learning for Dynamic Subsumption},
journal = {Int. J. Artif. Intell. Tools},
volume = {19},
number = {4},
pages = {511--529},
year = {2010},
url = {https://doi.org/10.1142/S0218213010000303},
doi = {10.1142/S0218213010000303},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/HamadiJS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GuoHJS10,
author = {Long Guo and
Youssef Hamadi and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais},
editor = {David Cohen},
title = {Diversification and Intensification in Parallel {SAT} Solving},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th
International Conference, {CP} 2010, St. Andrews, Scotland, UK, September
6-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6308},
pages = {252--265},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15396-9\_22},
doi = {10.1007/978-3-642-15396-9\_22},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/GuoHJS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/HamadiJS09,
author = {Youssef Hamadi and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais},
title = {ManySAT: a Parallel {SAT} Solver},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {6},
number = {4},
pages = {245--262},
year = {2009},
url = {https://doi.org/10.3233/sat190070},
doi = {10.3233/SAT190070},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/HamadiJS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/HamadiJS09,
author = {Youssef Hamadi and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais},
title = {Learning for Dynamic Subsumption},
booktitle = {{ICTAI} 2009, 21st {IEEE} International Conference on Tools with Artificial
Intelligence, Newark, New Jersey, USA, 2-4 November 2009},
pages = {328--335},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICTAI.2009.22},
doi = {10.1109/ICTAI.2009.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/HamadiJS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Jabbour09,
author = {Sa{\"{\i}}d Jabbour},
title = {Learning for Dynamic Assignments Reordering},
booktitle = {{ICTAI} 2009, 21st {IEEE} International Conference on Tools with Artificial
Intelligence, Newark, New Jersey, USA, 2-4 November 2009},
pages = {336--343},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICTAI.2009.26},
doi = {10.1109/ICTAI.2009.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/Jabbour09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HamadiJS09,
author = {Youssef Hamadi and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais},
editor = {Craig Boutilier},
title = {Control-Based Clause Sharing in Parallel {SAT} Solving},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {499--504},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/090.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HamadiJS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-0029,
author = {Youssef Hamadi and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais},
title = {Learning for Dynamic subsumption},
journal = {CoRR},
volume = {abs/0904.0029},
year = {2009},
url = {http://arxiv.org/abs/0904.0029},
eprinttype = {arXiv},
eprint = {0904.0029},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0904-0029.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/AudemardJS08,
author = {Gilles Audemard and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais},
title = {{SAT} graph-based representation: {A} new perspective},
journal = {J. Algorithms},
volume = {63},
number = {1-3},
pages = {17--33},
year = {2008},
url = {https://doi.org/10.1016/j.jalgor.2008.02.001},
doi = {10.1016/J.JALGOR.2008.02.001},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/AudemardJS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AudemardBHJS08,
author = {Gilles Audemard and
Lucas Bordeaux and
Youssef Hamadi and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais},
editor = {Hans Kleine B{\"{u}}ning and
Xishun Zhao},
title = {A Generalized Framework for Conflict Analysis},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2008, 11th
International Conference, {SAT} 2008, Guangzhou, China, May 12-15,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4996},
pages = {21--27},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79719-7\_3},
doi = {10.1007/978-3-540-79719-7\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/AudemardBHJS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AudemardJS07,
author = {Gilles Audemard and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais},
editor = {Manuela M. Veloso},
title = {Symmetry Breaking in Quantified Boolean Formulae},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {2262--2267},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/364.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AudemardJS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
