Extending GENET for non-binary CSP's | IEEE Conference Publication | IEEE Xplore