Nadjib Lazaar
Nadjib Lazaar
Maître de conférence, LIRMM-CNRS, Université de Montpellier 2
Email verificata su lirmm.fr - Home page
TitoloCitata daAnno
Constraint acquisition via partial queries
C Bessiere, R Coletta, E Hebrard, G Katsirelos, N Lazaar, N Narodytska, ...
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
472013
Constraint acquisition
C Bessiere, F Koriche, N Lazaar, B O'Sullivan
Artificial Intelligence 244, 315-342, 2017
352017
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
202016
A CP framework for testing CP
N Lazaar, A Gotlieb, Y Lebbah
Constraints 17 (2), 123-147, 2012
162012
Boosting Constraint Acquisition via Generalization Queries.
C Bessiere, R Coletta, A Daoudi, N Lazaar, Y Mechqrane, EH Bouyakhf
ECAI, 99-104, 2014
122014
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
112016
On testing constraint programs
N Lazaar, A Gotlieb, Y Lebbah
International Conference on Principles and Practice of Constraint …, 2010
102010
Multiple constraint aquisition
R Arcangioli, C Bessière, N Lazaar
IJCAI: International Joint Conference on Artificial Intelligence, 698-704, 2016
92016
Fault localization in constraint programs
N Lazaar, A Gotlieb, Y Lebbah
2010 22nd IEEE International Conference on Tools with Artificial …, 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
Fault localization using itemset mining under constraints
M Maamar, N Lazaar, S Loudni, Y Lebbah
Automated Software Engineering 24 (2), 341-368, 2017
62017
Discovering program topoi via hierarchical agglomerative clustering
C Ieva, A Gotlieb, S Kaci, N Lazaar
IEEE Transactions on Reliability 67 (3), 758-770, 2018
52018
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
Cooperation control in parallel SAT solving: A multi-armed bandit approach
N Lazaar, Y Hamadi, S Jabbour, M Sebag
42012
A global constraint for closed itemset mining
N Lazaar, Y Lebbah, M Maamar, L Samir, V Lemière, C Bessière, ...
CP: Constraint Programming, 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
Solve a constraint problem without modeling it
C Bessiere, R Coletta, N Lazaar
2014 IEEE 26th International Conference on Tools with Artificial …, 2014
32014
Time-bounded query generator for constraint acquisition
HA Addi, C Bessiere, R Ezzahir, N Lazaar
International Conference on the Integration of Constraint Programming …, 2018
22018
Discovering program topoi through clustering
C Ieva, A Gotlieb, S Kaci, N Lazaar
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
22018
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
22016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20