Efficient and Complete FD-Solving for Extended Array Constraints *

Abstract

Publication
IJCAI 2017
Date