A filtering process for general constraint-satisfaction problems: achieving pairwise-consistency using an associated binary representation | IEEE Conference Publication | IEEE Xplore