A choice functions portfolio for solving constraint satisfaction problems: a performance evaluation | IEEE Conference Publication | IEEE Xplore