Lazaar, Nadjib

10 publications

JAIR 2025 A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference Grégoire Menguy, Sébastien Bardin, Arnaud Gotlieb, Nadjib Lazaar

JAIR 2024 Query-Driven Qualitative Constraint Acquisition Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker

IJCAI 2022 Automated Program Analysis: Revisiting Precondition Inference Through Constraint Acquisition Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb

AAAI 2022 GEQCA: Generic Qualitative Constraint Acquisition Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker

AAAI 2021 Parallel Constraint Acquisition Nadjib Lazaar

IJCAI 2019 Constraint Programming for Mining Borders of Frequent Itemsets Mohamed-Bachir Belaid, Christian Bessiere, Nadjib Lazaar

AAAI 2018 Discovering Program Topoi Through Clustering Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar

IJCAI 2016 Constraint Acquisition with Recommendation Queries Abderrazak Daoudi, Younes Mechqrane, Christian Bessiere, Nadjib Lazaar, El-Houssine Bouyakhf

IJCAI 2016 Multiple Constraint Acquisition Robin Arcangioli, Christian Bessiere, Nadjib Lazaar

IJCAI 2013 Constraint Acquisition via Partial Queries Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh