Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lakhdar Sais
@article{DBLP:journals/sensors/DriouaBS23,
author = {Wafaa Rajaa Drioua and
Nac{\'{e}}ra Benamrane and
Lakhdar Sais},
title = {Breast Cancer Histopathological Images Segmentation Using Deep Learning},
journal = {Sensors},
volume = {23},
number = {17},
pages = {7318},
year = {2023},
url = {https://doi.org/10.3390/s23177318},
doi = {10.3390/S23177318},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/DriouaBS23.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/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/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 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/JabbourRS23.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/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/icfsp/DriouaBS22,
author = {Wafaa Rajaa Drioua and
Nac{\'{e}}ra Benamrane and
Lakhdar Sais},
title = {Breast Cancer Detection from Histopathology Images Based on YOLOv5},
booktitle = {7th International Conference on Frontiers of Signal Processing, {ICFSP}
2022, Paris, France, September 7-9, 2022},
pages = {30--34},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICFSP55781.2022.9924866},
doi = {10.1109/ICFSP55781.2022.9924866},
timestamp = {Thu, 10 Nov 2022 15:27:32 +0100},
biburl = {https://dblp.org/rec/conf/icfsp/DriouaBS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/TouatiRS21,
author = {Sofiane Touati and
Mohammed Said Radjef and
Lakhdar Sais},
title = {A Bayesian Monte Carlo method for computing the Shapley value: Application
to weighted voting and bin packing games},
journal = {Comput. Oper. Res.},
volume = {125},
pages = {105094},
year = {2021},
url = {https://doi.org/10.1016/j.cor.2020.105094},
doi = {10.1016/J.COR.2020.105094},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cor/TouatiRS21.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}
}
@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/ijait/BouchamaLRS19,
author = {Kahina Bouchama and
Arnaud Lallouet and
Mohammed Said Radjef and
Lakhdar Sais},
title = {Solving a Potential Clustering Game},
journal = {Int. J. Artif. Intell. Tools},
volume = {28},
number = {2},
pages = {1950006:1--1950006:26},
year = {2019},
url = {https://doi.org/10.1142/S0218213019500064},
doi = {10.1142/S0218213019500064},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijait/BouchamaLRS19.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}
}
@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}
}
@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}
}
@book{DBLP:books/sp/HS2018,
editor = {Youssef Hamadi and
Lakhdar Sais},
title = {Handbook of Parallel Constraint Reasoning},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-63516-3},
doi = {10.1007/978-3-319-63516-3},
isbn = {978-3-319-63515-6},
timestamp = {Fri, 04 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/HS2018.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/amai/Al-SaediFGMS17,
author = {Balasim Al{-}Saedi and
Olivier Fourdrinoy and
{\'{E}}ric Gr{\'{e}}goire and
Bertrand Mazure and
Lakhdar Sa{\"{\i}}s},
title = {About some UP-based polynomial fragments of {SAT}},
journal = {Ann. Math. Artif. Intell.},
volume = {79},
number = {1-3},
pages = {25--44},
year = {2017},
url = {https://doi.org/10.1007/s10472-015-9452-z},
doi = {10.1007/S10472-015-9452-Z},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Al-SaediFGMS17.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}
}
@article{DBLP:journals/imst/BaghdadiBS17,
author = {Mohamed Baghdadi and
Nac{\'{e}}ra Benamrane and
Lakhdar Sais},
title = {Fuzzy generalized fast marching method for 3D segmentation of brain
structures},
journal = {Int. J. Imaging Syst. Technol.},
volume = {27},
number = {3},
pages = {281--306},
year = {2017},
url = {https://doi.org/10.1002/ima.22233},
doi = {10.1002/IMA.22233},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imst/BaghdadiBS17.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/lpar/BoumarafiSS17,
author = {Yazid Boumarafi and
Lakhdar Sais and
Yakoub Salhi},
editor = {Thomas Eiter and
David Sands},
title = {From {SAT} to Maximum Independent Set: {A} New Approach to Characterize
Tractable Classes},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {286--299},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/c9f6},
doi = {10.29007/C9F6},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BoumarafiSS17.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}
}
@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/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/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/isaim/BouchamaRS16,
author = {Kahina Bouchama and
Mohammed Said Radjef and
Lakhdar Sais},
title = {Z-Equilibrium For a {CSP} Game},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2016, Fort Lauderdale, Florida, USA, January 4-6, 2016},
year = {2016},
url = {https://isaim2016.cs.ou.edu/papers/ISAIM2016\_Bouchama\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/BouchamaRS16.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/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/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/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/Al-SaediGMS14,
author = {Balasim Al{-}Saedi and
{\'{E}}ric Gr{\'{e}}goire and
Bertrand Mazure and
Lakhdar Sais},
title = {Extensions and Variants of Dalal's Quad Polynomial Fragments of {SAT}},
booktitle = {26th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2014, Limassol, Cyprus, November 10-12, 2014},
pages = {446--452},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICTAI.2014.74},
doi = {10.1109/ICTAI.2014.74},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/Al-SaediGMS14.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/Al-SaediGMS14,
author = {Mohammad Al{-}Saedi and
{\'{E}}ric Gr{\'{e}}goire and
Bertrand Mazure and
Lakhdar Sa{\"{\i}}s},
title = {About Some UP-Based Polynomial Fragments of {SAT}},
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\_AlSaedi\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 17:48:47 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Al-SaediGMS14.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 00:00:00 +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}
}
@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/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/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/corr/abs-1203-3706,
author = {Fran{\c{c}}ois Hantry and
Lakhdar Sa{\"{\i}}s and
Mohand{-}Said Hacid},
title = {On the Complexity of Computing Minimal Unsatisfiable {LTL} formulas},
journal = {CoRR},
volume = {abs/1203.3706},
year = {2012},
url = {http://arxiv.org/abs/1203.3706},
eprinttype = {arXiv},
eprint = {1203.3706},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-3706.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/SaisHH12,
author = {Lakhdar Sa{\"{\i}}s and
Mohand{-}Said Hacid and
Fran{\c{c}}ois Hantry},
title = {On the complexity of computing minimal unsatisfiable {LTL} formulas},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR12-069}},
year = {2012},
url = {https://eccc.weizmann.ac.il/report/2012/069},
eprinttype = {ECCC},
eprint = {TR12-069},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/SaisHH12.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}
}
@inproceedings{DBLP:conf/sat/AudemardLMS11,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Bertrand Mazure and
Lakhdar Sais},
editor = {Karem A. Sakallah and
Laurent Simon},
title = {On Freezing and Reactivating Learnt Clauses},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th
International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6695},
pages = {188--200},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21581-0\_16},
doi = {10.1007/978-3-642-21581-0\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/AudemardLMS11.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/brain/BaghdadiBS10,
author = {Mohamed Baghdadi and
Nac{\'{e}}ra Benamrane and
Lakhdar Sais},
editor = {Yiyu Yao and
Ron Sun and
Tomaso A. Poggio and
Jiming Liu and
Ning Zhong and
Jimmy X. Huang},
title = {Segmentation of 3D Brain Structures Using the Bayesian Generalized
Fast Marching Method},
booktitle = {Brain Informatics, International Conference, {BI} 2010, Toronto, ON,
Canada, August 28-30, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6334},
pages = {156--167},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15314-3\_15},
doi = {10.1007/978-3-642-15314-3\_15},
timestamp = {Sun, 02 Oct 2022 15:55:52 +0200},
biburl = {https://dblp.org/rec/conf/brain/BaghdadiBS10.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}
}
@inproceedings{DBLP:conf/ieeehpcs/Sais10,
author = {Lakhdar Sais},
editor = {Waleed W. Smari and
John P. McIntire},
title = {Portfolio-based Parallel {SAT} solving},
booktitle = {Proceedings of the 2010 International Conference on High Performance
Computing {\&} Simulation, {HPCS} 2010, June 28 - July 2, 2010,
Caen, France},
pages = {331},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/HPCS.2010.5547119},
doi = {10.1109/HPCS.2010.5547119},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/ieeehpcs/Sais10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AudemardLMS10,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Bertrand Mazure and
Lakhdar Sais},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Boosting Local Search Thanks to cdcl},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {474--488},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_34},
doi = {10.1007/978-3-642-16242-8\_34},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AudemardLMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LecoutreSTV09,
author = {Christophe Lecoutre and
Lakhdar Sais and
S{\'{e}}bastien Tabary and
Vincent Vidal},
title = {Reasoning from last conflict(s) in constraint programming},
journal = {Artif. Intell.},
volume = {173},
number = {18},
pages = {1592--1614},
year = {2009},
url = {https://doi.org/10.1016/j.artint.2009.09.002},
doi = {10.1016/J.ARTINT.2009.09.002},
timestamp = {Sat, 30 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/LecoutreSTV09.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/frocos/PietteHS09,
author = {C{\'{e}}dric Piette and
Youssef Hamadi and
Lakhdar Sais},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Efficient Combination of Decision Procedures for {MUS} Computation},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {335--349},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_21},
doi = {10.1007/978-3-642-04222-5\_21},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/PietteHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/DAlmeidaS09,
author = {Dominique D'Almeida and
Lakhdar Sais},
title = {Enhancing Neighbourhood Substitutability Thanks to Singleton Arc Consistency},
booktitle = {{ICTAI} 2009, 21st {IEEE} International Conference on Tools with Artificial
Intelligence, Newark, New Jersey, USA, 2-4 November 2009},
pages = {91--98},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICTAI.2009.38},
doi = {10.1109/ICTAI.2009.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/DAlmeidaS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GregoireMS09,
author = {{\'{E}}ric Gr{\'{e}}goire and
Bertrand Mazure and
Lakhdar Sais},
title = {Local Autarkies Searching for the Dynamic Partition of {CNF} Formulae},
booktitle = {{ICTAI} 2009, 21st {IEEE} International Conference on Tools with Artificial
Intelligence, Newark, New Jersey, USA, 2-4 November 2009},
pages = {107--114},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICTAI.2009.16},
doi = {10.1109/ICTAI.2009.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/GregoireMS09.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/AudemardLMS09,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Bertrand Mazure and
Lakhdar Sais},
title = {Learning in Local Search},
booktitle = {{ICTAI} 2009, 21st {IEEE} International Conference on Tools with Artificial
Intelligence, Newark, New Jersey, USA, 2-4 November 2009},
pages = {417--424},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICTAI.2009.71},
doi = {10.1109/ICTAI.2009.71},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/AudemardLMS09.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}
}
@inproceedings{DBLP:journals/corr/abs-0910-1247,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Bertrand Mazure and
Lakhdar Sais},
editor = {Yves Deville and
Christine Solnon},
title = {Integrating Conflict Driven Clause Learning to Local Search},
booktitle = {Proceedings 6th International Workshop on Local Search Techniques
in Constraint Satisfaction, {LSCS} 2009, Lisbon, Portugal, 20 September
2009},
series = {{EPTCS}},
volume = {5},
pages = {55--68},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.5.5},
doi = {10.4204/EPTCS.5.5},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-1247.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/ecai/PietteHS08,
author = {C{\'{e}}dric Piette and
Youssef Hamadi and
Lakhdar Sais},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Vivifying Propositional Clausal Formulae},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {525--529},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-525},
doi = {10.3233/978-1-58603-891-5-525},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/PietteHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ChmeissKS08,
author = {Assef Chmeiss and
Vincent Krawczyk and
Lakhdar Sais},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Redundancy in CSPs},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {907--908},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-907},
doi = {10.3233/978-1-58603-891-5-907},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/ChmeissKS08.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}
}
@article{DBLP:journals/jsat/LecoutreSTV07,
author = {Christophe Lecoutre and
Lakhdar Sais and
S{\'{e}}bastien Tabary and
Vincent Vidal},
title = {Recording and Minimizing Nogoods from Restarts},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {1},
number = {3-4},
pages = {147--167},
year = {2007},
url = {https://doi.org/10.3233/sat190009},
doi = {10.3233/SAT190009},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/LecoutreSTV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/LecoutreSV07,
author = {Christophe Lecoutre and
Lakhdar Sais and
Julien Vion},
title = {Using {SAT} Encodings to Drive {CSP} Value Ordering Heuristics},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {1},
number = {3-4},
pages = {169--186},
year = {2007},
url = {https://doi.org/10.3233/sat190010},
doi = {10.3233/SAT190010},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/LecoutreSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LecoutreSTV07,
author = {Christophe Lecoutre and
Lakhdar Sais and
S{\'{e}}bastien Tabary and
Vincent Vidal},
title = {Transposition Tables for Constraint Satisfaction},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {243--248},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-037.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LecoutreSTV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LecoutreSTV07,
author = {Christophe Lecoutre and
Lakhdar Sais and
S{\'{e}}bastien Tabary and
Vincent Vidal},
editor = {Christian Bessiere},
title = {Exploiting Past and Future: Pruning by Inconsistent Partial State
Dominance},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {453--467},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_33},
doi = {10.1007/978-3-540-74970-7\_33},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/LecoutreSTV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/FourdrinoyGMS07,
author = {Olivier Fourdrinoy and
{\'{E}}ric Gr{\'{e}}goire and
Bertrand Mazure and
Lakhdar Sais},
editor = {Pascal Van Hentenryck and
Laurence A. Wolsey},
title = {Eliminating Redundant Clauses in {SAT} Instances},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 4th International Conference,
{CPAIOR} 2007, Brussels, Belgium, May 23-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4510},
pages = {71--83},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72397-4\_6},
doi = {10.1007/978-3-540-72397-4\_6},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/FourdrinoyGMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChmeissKS07,
author = {Assef Chmeiss and
Vincent Krawczyk and
Lakhdar Sais},
title = {Light Integration of Path Consistency for Solving CSPs},
booktitle = {19th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2007), October 29-31, 2007, Patras, Greece, Volume 1},
pages = {263--266},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICTAI.2007.10},
doi = {10.1109/ICTAI.2007.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ChmeissKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LecoutreSTV07,
author = {Christophe Lecoutre and
Lakhdar Sais and
S{\'{e}}bastien Tabary and
Vincent Vidal},
editor = {Manuela M. Veloso},
title = {Nogood Recording from Restarts},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {131--136},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/019.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LecoutreSTV07.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 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AudemardJS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/FourdrinoyGMS07,
author = {Olivier Fourdrinoy and
{\'{E}}ric Gr{\'{e}}goire and
Bertrand Mazure and
Lakhdar Sais},
title = {Reducing hard {SAT} instances to polynomial ones},
booktitle = {Proceedings of the {IEEE} International Conference on Information
Reuse and Integration, {IRI} 2007, 13-15 August 2007, Las Vegas, Nevada,
{USA}},
pages = {18--23},
publisher = {{IEEE} Systems, Man, and Cybernetics Society},
year = {2007},
url = {https://doi.org/10.1109/IRI.2007.4296591},
doi = {10.1109/IRI.2007.4296591},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iri/FourdrinoyGMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/ParisOSS07,
author = {Lionel Paris and
Richard Ostrowski and
Pierre Siegel and
Lakhdar Sais},
editor = {Alexander F. Gelbukh and
Angel Fernando Kuri Morales},
title = {From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets},
booktitle = {{MICAI} 2007: Advances in Artificial Intelligence, 6th Mexican International
Conference on Artificial Intelligence, Aguascalientes, Mexico, November
4-10, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4827},
pages = {105--117},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76631-5\_11},
doi = {10.1007/978-3-540-76631-5\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/micai/ParisOSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/DAlmeidaCLS07,
author = {Dominique D'Almeida and
Jean{-}Fran{\c{c}}ois Condotta and
Christophe Lecoutre and
Lakhdar Sais},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Relaxation of Qualitative Constraint Networks},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {93--108},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_10},
doi = {10.1007/978-3-540-73580-9\_10},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sara/DAlmeidaCLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AudemardS07,
author = {Gilles Audemard and
Lakhdar Sais},
editor = {Jo{\~{a}}o Marques{-}Silva and
Karem A. Sakallah},
title = {Circuit Based Encoding of {CNF} Formula},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th
International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4501},
pages = {16--21},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72788-0\_5},
doi = {10.1007/978-3-540-72788-0\_5},
timestamp = {Mon, 24 Feb 2020 19:23:27 +0100},
biburl = {https://dblp.org/rec/conf/sat/AudemardS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HemeryLSB06,
author = {Fred Hemery and
Christophe Lecoutre and
Lakhdar Sais and
Fr{\'{e}}d{\'{e}}ric Boussemart},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {Extracting MUCs from Constraint Networks},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {113--117},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1657},
timestamp = {Tue, 13 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/HemeryLSB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LecoutreSTV06,
author = {Christophe Lecoutre and
Lakhdar Sais and
S{\'{e}}bastien Tabary and
Vincent Vidal},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {Last Conflict Based Reasoning},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {133--137},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1661},
timestamp = {Sat, 30 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/LecoutreSTV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ParisOSS06,
author = {Lionel Paris and
Richard Ostrowski and
Pierre Siegel and
Lakhdar Sais},
title = {Computing Horn Strong Backdoor Sets Thanks to Local Search},
booktitle = {18th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2006), 13-15 November 2006, Arlington, VA, {USA}},
pages = {139--143},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICTAI.2006.43},
doi = {10.1109/ICTAI.2006.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ParisOSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/GregoireMPS06,
author = {{\'{E}}ric Gr{\'{e}}goire and
Bertrand Mazure and
C{\'{e}}dric Piette and
Lakhdar Sais},
title = {A new heuristic-based albeit complete method to extract MUCs from
unsatisfiable CSPs},
booktitle = {Proceedings of the 2006 {IEEE} International Conference on Information
Reuse and Integration, {IRI} - 2006: Heuristic Systems Engineering,
September 16-18, 2006, Waikoloa, Hawaii, {USA}},
pages = {325--329},
publisher = {{IEEE} Systems, Man, and Cybernetics Society},
year = {2006},
url = {https://doi.org/10.1109/IRI.2006.252434},
doi = {10.1109/IRI.2006.252434},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iri/GregoireMPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DarrasDDMOS05,
author = {Sylvain Darras and
Gilles Dequen and
Laure Devendeville and
Bertrand Mazure and
Richard Ostrowski and
Lakhdar Sais},
editor = {Peter van Beek},
title = {Using Boolean Constraint Propagation for Sub-clauses Deduction},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {757--761},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_59},
doi = {10.1007/11564751\_59},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/DarrasDDMOS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AudemardS05,
author = {Gilles Audemard and
Lakhdar Sais},
editor = {Fahiem Bacchus and
Toby Walsh},
title = {A Symbolic Search Based Approach for Quantified Boolean Formulas},
booktitle = {Theory and Applications of Satisfiability Testing, 8th International
Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3569},
pages = {16--30},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499107\_2},
doi = {10.1007/11499107\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/AudemardS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BoussemartHLS04,
author = {Fr{\'{e}}d{\'{e}}ric Boussemart and
Fred Hemery and
Christophe Lecoutre and
Lakhdar Sais},
editor = {Mark Wallace},
title = {Support Inference for Generic Filtering},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
International Conference, {CP} 2004, Toronto, Canada, September 27
- October 1, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3258},
pages = {721--725},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_54},
doi = {10.1007/978-3-540-30201-8\_54},
timestamp = {Fri, 27 Mar 2020 09:00:36 +0100},
biburl = {https://dblp.org/rec/conf/cp/BoussemartHLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BoussemartHLS04,
author = {Fr{\'{e}}d{\'{e}}ric Boussemart and
Fred Hemery and
Christophe Lecoutre and
Lakhdar Sais},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Boosting Systematic Search by Weighting Constraints},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {146--150},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BoussemartHLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/AudemardS04,
author = {Gilles Audemard and
Lakhdar Sais},
title = {{SAT} Based {BDD} Solver for Quantified Boolean Formulas},
booktitle = {16th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2004), 15-17 November 2004, Boca Raton, FL, {USA}},
pages = {82--89},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICTAI.2004.106},
doi = {10.1109/ICTAI.2004.106},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/AudemardS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChmeissS04,
author = {Assef Chmeiss and
Lakhdar Sais},
title = {Constraint Satisfaction Problems: Backtrack Search Revisited},
booktitle = {16th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2004), 15-17 November 2004, Boca Raton, FL, {USA}},
pages = {252--257},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICTAI.2004.43},
doi = {10.1109/ICTAI.2004.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ChmeissS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AudemardMS04,
author = {Gilles Audemard and
Bertrand Mazure and
Lakhdar Sais},
title = {Dealing with Symmetries in Quantified Boolean Formulas},
booktitle = {{SAT} 2004 - The Seventh International Conference on Theory and Applications
of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada,
Online Proceedings},
year = {2004},
url = {http://www.satisfiability.org/SAT04/programme/101.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/AudemardMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GregoireOMS04,
author = {{\'{E}}ric Gr{\'{e}}goire and
Richard Ostrowski and
Bertrand Mazure and
Lakhdar Sais},
title = {Automatic Extraction of Functional Dependencies},
booktitle = {{SAT} 2004 - The Seventh International Conference on Theory and Applications
of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada,
Online Proceedings},
year = {2004},
url = {http://www.satisfiability.org/SAT04/programme/64.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/GregoireOMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GregoireOMS04a,
author = {{\'{E}}ric Gr{\'{e}}goire and
Richard Ostrowski and
Bertrand Mazure and
Lakhdar Sais},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Automatic Extraction of Functional Dependencies},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {122--132},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_10},
doi = {10.1007/11527695\_10},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/GregoireOMS04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/OstrowskiMSG03,
author = {Richard Ostrowski and
Bertrand Mazure and
Lakhdar Sais and
{\'{E}}ric Gr{\'{e}}goire},
title = {Eliminating Redundancies in {SAT} Search Trees},
booktitle = {15th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2003), 3-5 November 2003, Sacramento, California, {USA}},
pages = {100--104},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/TAI.2003.1250176},
doi = {10.1109/TAI.2003.1250176},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/OstrowskiMSG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/GregoireMS02,
author = {{\'{E}}ric Gr{\'{e}}goire and
Bertrand Mazure and
Lakhdar Sais},
editor = {Donia Scott},
title = {Using Failed Local Search for {SAT} as an Oracle for Tackling Harder
{A.I.} Problems More Efficiently},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 10th
International Conference, {AIMSA} 2002, Varna, Bulgaria, September
4-6, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2443},
pages = {51--60},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46148-5\_6},
doi = {10.1007/3-540-46148-5\_6},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/GregoireMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/OstrowskiGMS02,
author = {Richard Ostrowski and
{\'{E}}ric Gr{\'{e}}goire and
Bertrand Mazure and
Lakhdar Sais},
editor = {Pascal Van Hentenryck},
title = {Recovering and Exploiting Structural Knowledge from {CNF} Formulas},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2470},
pages = {185--199},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_13},
doi = {10.1007/3-540-46135-3\_13},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/OstrowskiGMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/BrisouxGS01,
author = {Laure Brisoux and
{\'{E}}ric Gr{\'{e}}goire and
Lakhdar Sais},
title = {Checking depth-limited consistency and inconsistency in knowledge-based
systems},
journal = {Int. J. Intell. Syst.},
volume = {16},
number = {3},
pages = {319--331},
year = {2001},
url = {https://doi.org/10.1002/1098-111X(200103)16:3\&\#60;319::AID-INT1010\&\#62;3.0.CO;2-U},
doi = {10.1002/1098-111X(200103)16:3\&\#60;319::AID-INT1010\&\#62;3.0.CO;2-U},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/BrisouxGS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BessiereCS01,
author = {Christian Bessi{\`{e}}re and
Assef Chmeiss and
Lakhdar Sais},
editor = {Toby Walsh},
title = {Neighborhood-Based Variable Ordering Heuristics for the Constraint
Satisfaction Problem},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2239},
pages = {565--569},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45578-7\_40},
doi = {10.1007/3-540-45578-7\_40},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BessiereCS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChmeissS00,
author = {Assef Chmeiss and
Lakhdar Sais},
title = {About the use of local consistency in solving CSPs},
booktitle = {12th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2000), 13-15 November 2000, Vancouver, BC, Canada},
pages = {104--107},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/TAI.2000.889853},
doi = {10.1109/TAI.2000.889853},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ChmeissS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/BrisouxGS99,
author = {Laure Brisoux and
{\'{E}}ric Gr{\'{e}}goire and
Lakhdar Sais},
editor = {Zbigniew W. Ras and
Andrzej Skowron},
title = {Improving Backtrack Search for {SAT} by Means of Redundancy},
booktitle = {Foundations of Intelligent Systems, 11th International Symposium,
{ISMIS} '99, Warsaw, Poland, June 8-11, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1609},
pages = {301--309},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/BFb0095116},
doi = {10.1007/BFB0095116},
timestamp = {Sat, 19 Oct 2019 20:13:57 +0200},
biburl = {https://dblp.org/rec/conf/ismis/BrisouxGS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MazureSG98,
author = {Bertrand Mazure and
Lakhdar Sais and
{\'{E}}ric Gr{\'{e}}goire},
title = {Boosting Complete Techniques Thanks to Local Search Methods},
journal = {Ann. Math. Artif. Intell.},
volume = {22},
number = {3-4},
pages = {319--331},
year = {1998},
url = {https://doi.org/10.1023/A:1018999721141},
doi = {10.1023/A:1018999721141},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MazureSG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/BessantGMS98,
author = {Brigitte Bessant and
{\'{E}}ric Gr{\'{e}}goire and
Pierre Marquis and
Lakhdar Sais},
editor = {Fausto Giunchiglia},
title = {Combining Nonmonotonic Reasoning and Belief Revision: {A} Practical
Approach},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
21-13, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1480},
pages = {115--128},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0057439},
doi = {10.1007/BFB0057439},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/BessantGMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MazureSG98,
author = {Bertrand Mazure and
Lakhdar Sais and
{\'{E}}ric Gr{\'{e}}goire},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {System Description: {CRIL} Platform for {SAT}},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {124--128},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054253},
doi = {10.1007/BFB0054253},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/MazureSG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/BrisouxGS98,
author = {Laure Brisoux and
{\'{E}}ric Gr{\'{e}}goire and
Lakhdar Sais},
editor = {Roland R. Wagner},
title = {Validation of Knowledge-Based Systems by Means of Stochastic Search},
booktitle = {Ninth International Workshop on Database and Expert Systems Applications,
Vienna, Austria, August 24-28, 1998, Proceedings},
pages = {41--46},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/DEXA.1998.707378},
doi = {10.1109/DEXA.1998.707378},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/BrisouxGS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcis/MazureSG97,
author = {Bertrand Mazure and
Lakhdar Sais and
{\'{E}}ric Gr{\'{e}}goire},
title = {An Efficient Technique to Ensure the Logical Consistency of Interacting
Knowledge Bases},
journal = {Int. J. Cooperative Inf. Syst.},
volume = {6},
number = {1},
pages = {27--36},
year = {1997},
url = {https://doi.org/10.1142/S0218843097000045},
doi = {10.1142/S0218843097000045},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcis/MazureSG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MazureSG97,
author = {Bertrand Mazure and
Lakhdar Sais and
{\'{E}}ric Gr{\'{e}}goire},
editor = {Benjamin Kuipers and
Bonnie L. Webber},
title = {Tabu Search for {SAT}},
booktitle = {Proceedings of the Fourteenth National Conference on Artificial Intelligence
and Ninth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 97, {IAAI} 97, July 27-31, 1997, Providence, Rhode Island,
{USA}},
pages = {281--285},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1997},
url = {http://www.aaai.org/Library/AAAI/1997/aaai97-044.php},
timestamp = {Tue, 05 Sep 2023 08:53:09 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MazureSG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/MazureSG97,
author = {Bertrand Mazure and
Lakhdar Sais and
{\'{E}}ric Gr{\'{e}}goire},
editor = {Dov M. Gabbay and
Rudolf Kruse and
Andreas Nonnengart and
Hans J{\"{u}}rgen Ohlbach},
title = {Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases},
booktitle = {Qualitative and Quantitative Practical Reasoning, First International
Joint Conference on Qualitative and Quantitative Practical Reasoning
ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1244},
pages = {122--130},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0035617},
doi = {10.1007/BFB0035617},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/MazureSG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzy/MazureSG97,
author = {Bertrand Mazure and
Lakhdar Sais and
{\'{E}}ric Gr{\'{e}}goire},
editor = {Bernd Reusch},
title = {Local Search for Computing Normal Circumstances Models},
booktitle = {Computational Intelligence, Theory and Applications, International
Conference, 5th Fuzzy Days, Dortmund, Germany, April 28-30, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1226},
pages = {565--566},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62868-1\_161},
doi = {10.1007/3-540-62868-1\_161},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/fuzzy/MazureSG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BoufkhadGMMS97,
author = {Yacine Boufkhad and
{\'{E}}ric Gr{\'{e}}goire and
Pierre Marquis and
Bertrand Mazure and
Lakhdar Sais},
title = {Tractable Cover Compilations},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {122--127},
publisher = {Morgan Kaufmann},
year = {1997},
url = {http://ijcai.org/Proceedings/97-1/Papers/020.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BoufkhadGMMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BenhamouS94,
author = {Belaid Benhamou and
Lakhdar Sais},
title = {Tractability Through Symmetries in Propositional Calculus},
journal = {J. Autom. Reason.},
volume = {12},
number = {1},
pages = {89--102},
year = {1994},
url = {https://doi.org/10.1007/BF00881844},
doi = {10.1007/BF00881844},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BenhamouS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BenhamouSS94,
author = {Belaid Benhamou and
Lakhdar Sais and
Pierre Siegel},
editor = {Patrice Enjalbert and
Ernst W. Mayr and
Klaus W. Wagner},
title = {Two Proof Procedures for a Cardinality Based Language in Propositional
Calculus},
booktitle = {{STACS} 94, 11th Annual Symposium on Theoretical Aspects of Computer
Science, Caen, France, February 24-26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {775},
pages = {71--82},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57785-8\_132},
doi = {10.1007/3-540-57785-8\_132},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BenhamouSS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenhamouS92,
author = {Belaid Benhamou and
Lakhdar Sais},
editor = {Deepak Kapur},
title = {Theoretical Study of Symmetries in Propositional Calculus and Applications},
booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated
Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {607},
pages = {281--294},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_172},
doi = {10.1007/3-540-55602-8\_172},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BenhamouS92.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-25 01:17 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:
