Nadjib Lazaar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
30
Venues
11
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
30 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CP | ScenaGen: A CP Model for Grounding Qualitative Driving Scenarios. | Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker |
| 2026 | CP | Utility-Peak Itemset Mining with Constraint Programming. | Chaima Hamdi, Nadjib Lazaar, Nassim Belmecheri, Djawad Bekkoucha, Sad Jabbour, Lakhdar Sas |
| 2026 | ESANN | Energy-Based Dropout with Patch-Level Regularization. | Tom Devynck, Bilal Faye, Djamel Bouchaffra, Nadjib Lazaar, Hanene Azzag, Mustapha Lebbah |
| 2026 | SAC | Optimizing Ethical Risk Reduction for Medical Intelligent Systems with Constraint Programming. | Clotilde Bray, Aurlien Bricout, Arnaud Gotlieb, Nadjib Lazaar, Quentin Vallet |
| 2023 | KR | Active Disjunctive Constraint Acquisition. | Grgoire Menguy, Sbastien Bardin, Nadjib Lazaar, Arnaud Gotlieb |
| 2022 | AAAI | GEQCA: Generic Qualitative Constraint Acquisition. | Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker |
| 2022 | IJCAI | Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition. | Grgoire Menguy, Sbastien Bardin, Nadjib Lazaar, Arnaud Gotlieb |
| 2021 | AAAI | Parallel Constraint Acquisition. | Nadjib Lazaar |
| 2021 | ICTAI | Constraint Programming for Itemset Mining with Multiple Minimum Supports. | Mohamed-Bachir Belaid, Nadjib Lazaar |
| 2020 | CP | RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. | Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Mats Carlsson, Dusica Marijan, Morten Mossige |
| 2019 | IJCAI | Constraint Programming for Mining Borders of Frequent Itemsets. | Mohamed-Bachir Belaid, Christian Bessiere, Nadjib Lazaar |
| 2019 | SDM | Constraint Programming for Association Rules. | Mohamed-Bachir Belaid, Christian Bessiere, Nadjib Lazaar |
| 2018 | AAAI | Discovering Program Topoi Through Clustering. | Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar |
| 2018 | CP | User's Constraints in Itemset Mining. | Christian Bessiere, Nadjib Lazaar, Mehdi Maamar |
| 2018 | CPAIOR | Time-Bounded Query Generator for Constraint Acquisition. | Hajar Ait Addi, Christian Bessiere, Redouane Ezzahir, Nadjib Lazaar |
| 2017 | ICTAI | Multiple Fault Localization Using Constraint Programming and Pattern Mining. | Noureddine Aribi, Mehdi Maamar, Nadjib Lazaar, Yahia Lebbah, Samir Loudni |
| 2016 | CP | A Global Constraint for Closed Frequent Pattern Mining. | Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemire, Christian Bessiere, Patrice Boizumault |
| 2016 | IJCAI | Multiple Constraint Acquisition. | Robin Arcangioli, Christian Bessiere, Nadjib Lazaar |
| 2016 | IJCAI | Constraint Acquisition with Recommendation Queries. | Abderrazak Daoudi, Younes Mechqrane, Christian Bessiere, Nadjib Lazaar, El-Houssine Bouyakhf |
| 2015 | IJCAI | Multiple Constraint Acquisition. | Robin Arcangioli, Nadjib Lazaar |
| 2015 | IJCAI | Towards an MDD-based Representation of Preferences. | Noureddine Aribi, Souhila Kaci, Nadjib Lazaar |
| 2015 | ICTAI | Detecting Types of Variables for Generalization in Constraint Acquisition. | Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, Christian Bessiere, El-Houssine Bouyakhf |
| 2014 | ECAI | Boosting Constraint Acquisition via Generalization Queries. | Christian Bessiere, Remi Coletta, Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, El-Houssine Bouyakhf |
| 2014 | ICTAI | Solve a Constraint Problem without Modeling It. | Christian Bessiere, Remi Coletta, Nadjib Lazaar |
| 2013 | IJCAI | Constraint Acquisition via Partial Queries. | Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2011 | ICST | CPTEST: A Framework for the Automatic Fault Detection, Localization and Correction of Constraint Programs. | Nadjib Lazaar |
| 2011 | ICST | A Framework for the Automatic Correction of Constraint Programs. | Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah |
| 2010 | CP | On Testing Constraint Programs. | Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah |
| 2010 | ICTAI | Fault Localization in Constraint Programs. | Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah |
| 2008 | ICST | Towards Constraing-Based Local Search for Automatic Test Data Generation. | Arnaud Gotlieb, Nadjib Lazaar, Yahia Lebbah |