Export 10 results:
Filters: Author is Nadjib Lazaar [Clear All Filters]
GEQCA: Generic Qualitative Constraint Acquisition In AAAI., 2022.
Constraint Programming for Itemset Mining with Multiple Minimum Supports In ICTAI. IEEE, 2021.
Solve Optimization Problems with Unknown Constraint Networks In PTHG workshop in CP., 2021.
RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots In International Conference on Principles and Practice of Constraint Programming, Edited by H. Simonis. LNCS ed. Vol. 12333. Springer, 2020.
Deploying Smart Program Understanding on a Large Code Base In 2019 IEEE International Conference On Artificial Intelligence Testing (AITest). IEEE, 2019.
Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories In 2019 IEEE International Conference On Artificial Intelligence Testing (AITest). San Francisco, CA, USA: IEEE, 2019.
Discovering Program Topoi Through Clustering In Proceedings of the Thirty-Second IAAI/AAAI Conference on Innovative Applications of Artificial Intelligence. AAAI Press, 2018.
A CP Framework for Testing CP." Constraints 17 (2012): 123-147."