Quentin Plazar
External collaborator
Publications
Simula-affiliated publications listed
2017
Proceedings, refereed
Read Efficient and Complete FD-Solving for Extended Array Constraints
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