Nadjib Lazaar
7 papers · 2013–2022 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Cross-Pollinator (11) π Conference Polyglot (2) π Academic Marathon (9) π Renaissance Researcher (5) π Interdisciplinary Bridge
π§
Keyword Pioneer
π
Keyword Champion
(3)
π
Conference Pioneer
Conferences
IJCAI (5)
AAAI (2)
Top co-authors
Keywords
constraint acquisition
(3)
active learning
(2)
constraint satisfaction
(1)
query learning
(1)
parallel learning
(1)
program analysis
(1)
constraint programming
(1)
constraint network
(1)
scheduling problem
(1)
precondition inference
(1)
global constraint
(1)
qualitative constraint
(1)
frequent itemset mining
(1)
positive border
(1)
negative border
(1)
active constraint acquisition
(1)
program verification
(1)
Papers
GEQCA: Generic Qualitative Constraint Acquisition
AAAI 2022
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
IJCAI 2022
Parallel Constraint Acquisition
AAAI 2021
Constraint Programming for Mining Borders of Frequent Itemsets
IJCAI 2019
Multiple Constraint Acquisition
IJCAI 2016
Constraint Acquisition with Recommendation Queries
IJCAI 2016
Constraint Acquisition via Partial Queries
IJCAI 2013