Given a set of nodes and constraints on their domain, find a solution