Export 4 results:
Filters: Author is Sebastien Bardin  [Clear All Filters]
2022
G. Menguy, S. Bardin, A. Gotlieb, and N. Lazaar. Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition In 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 22)., 2022.
2017
Q. Plazar, M. Acher, S. Bardin, and A. Gotlieb. Efficient and Complete FD-Solving for Extended Array Constraints In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. IJCAI, 2017.
2012
S. Bardin, and A. Gotlieb. fdcc: a Combined Approach for Solving Constraints Over Finite Domains and Arrays In Proceedings of CPAIOR 2012 (Constraint Programming-Artificial Intelligence-Operations Research), Nantes, France, Edited by N. Beldiceanu, N. Jussien and É. Pinson. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.