Export 4 results:
Filters: Author is Sebastien Bardin [Clear All Filters]
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.
Efficient and Complete FD-Solving for Extended Array Constraints In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. IJCAI, 2017.
A Combined Approach for Constraints Over Finite Domains and Arrays." journal (2014)."
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.