Sebastien Bardin
External collaborator
Publications
Simula-affiliated publications listed
2023
Proceedings, refereed
G. Menguy, S. Bardin, N. Lazaar and A. Gotlieb
Active Disjunctive Constraint Acquisition
Knowledge Representation (KR), Research Track, Rhodes, Greece, September 2-8
G. Menguy, S. Bardin, A. Gotlieb and N. Lazaar
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
Knowledge Representation (KR), Research Track, Rhodes, Greece, September 2-8
2022
Proceedings, refereed
G. Menguy, S. Bardin, N. Lazaar and A. Gotlieb
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 22)
2017
Proceedings, refereed
Q. Plazar, M. Acher, S. Bardin and A. Gotlieb
Efficient and Complete FD-Solving for Extended Array Constraints
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
2014
Journal Articles
S. Bardin, A. Gotlieb and P. Flener
A Combined Approach for Constraints Over Finite Domains and Arrays
journal
2012
Proceedings, refereed
S. Bardin and A. Gotlieb
fdcc: a Combined Approach for Solving Constraints Over Finite Domains and Arrays
Proceedings of CPAIOR 2012 (Constraint Programming-Artificial Intelligence-Operations Research), Nantes, France