Nadjib Lazaar
Nadjib Lazaar
Maître de conférence, LIRMM-CNRS, Université de Montpellier 2
Verified email at lirmm.fr - Homepage
Title
Cited by
Cited by
Year
Constraint acquisition via partial queries
C Bessiere, R Coletta, E Hebrard, G Katsirelos, N Lazaar, N Narodytska, ...
IJCAI: International Joint Conference on Artificial Intelligence, 475-481, 2013
562013
Constraint acquisition
C Bessiere, F Koriche, N Lazaar, B O'Sullivan
Artificial Intelligence 244, 315-342, 2017
472017
A global constraint for closed frequent pattern mining
N Lazaar, Y Lebbah, S Loudni, M Maamar, V Lemière, C Bessière, ...
International Conference on Principles and Practice of Constraint …, 2016
252016
A CP framework for testing CP
N Lazaar, A Gotlieb, Y Lebbah
Constraints 17 (2), 123-147, 2012
162012
New approaches to constraint acquisition
C Bessiere, A Daoudi, E Hebrard, G Katsirelos, N Lazaar, Y Mechqrane, ...
Data mining and constraint programming, 51-76, 2016
152016
Boosting Constraint Acquisition via Generalization Queries.
C Bessiere, R Coletta, A Daoudi, N Lazaar, Y Mechqrane, EH Bouyakhf
ECAI, 99-104, 2014
142014
Multiple constraint aquisition
R Arcangioli, C Bessiere, N Lazaar
IJCAI: International Joint Conference on Artificial Intelligence, 698-704, 2016
132016
Discovering program topoi via hierarchical agglomerative clustering
C Ieva, A Gotlieb, S Kaci, N Lazaar
IEEE Transactions on Reliability 67 (3), 758-770, 2018
92018
On testing constraint programs
N Lazaar, A Gotlieb, Y Lebbah
International Conference on Principles and Practice of Constraint …, 2010
92010
A framework for the automatic correction of constraint programs
N Lazaar, A Gotlieb, Y Lebbah
2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011
82011
A framework for the automatic correction of constraint programs
N Lazaar, A Gotlieb, Y Lebbah
2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011
82011
Fault localization in constraint programs
N Lazaar, A Gotlieb, Y Lebbah
2010 22nd IEEE International Conference on Tools with Artificial …, 2010
82010
Fault localization using itemset mining under constraints
M Maamar, N Lazaar, S Loudni, Y Lebbah
Automated Software Engineering 24 (2), 341-368, 2017
72017
Cooperation control in parallel SAT solving: a multi-armed bandit approach
N Lazaar, Y Hamadi, S Jabbour, M Sebag
INRIA, 2012
62012
Detecting types of variables for generalization in constraint acquisition
A Daoudi, N Lazaar, Y Mechqrane, C Bessiere, EH Bouyakhf
2015 IEEE 27th International Conference on Tools with Artificial …, 2015
52015
Stress testing of single-arm robots through constraint-based generation of continuous trajectories
M Collet, A Gotlieb, N Lazaar, M Mossige
2019 IEEE International Conference On Artificial Intelligence Testing …, 2019
42019
Time-bounded query generator for constraint acquisition
HA Addi, C Bessiere, R Ezzahir, N Lazaar
International Conference on the Integration of Constraint Programming …, 2018
32018
A global constraint for closed itemset mining
N Lazaar, Y Lebbah, M Maamar, L Samir, V Lemière, C Bessiere, ...
CP: Constraint Programming, 2016
32016
Constraint acquisition using recommendation queries
A Daoudi, Y Mechqrane, C Bessiere, N Lazaar, EH Bouyakhf
IJCAI: International Joint Conference on Artificial Intelligence, 720-726, 2016
32016
Localisation de fautes à l’aide de la fouille de données sous contraintes
M Maamar, N Lazaar, S Loudni, Y Lebbah
COSI: Colloque sur l'Optimisation et les Systèmes d'Information, 2015
32015
The system can't perform the operation now. Try again later.
Articles 1–20