Do approximation results for CSPs hold even when domains are of finite but different size?
This is known as multi-sorted CSPs (a sort in logic is a type of variable). See An Algebraic Approach to
Multi-sorted Constraints by Bulatov and Jeavons, for example.