Export 4 results:
Filters: Author is Sebastien Bardin  [Clear All Filters]
2022
G. Menguy, S. Bardin, N. Lazaar and A. Gotlieb. 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). IJCAI, 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.
2014
S. Bardin, A. Gotlieb and P. Flener. "A Combined Approach for Constraints Over Finite Domains and Arrays." journal (2014).
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.