Text this: On the bridge between constraint satisfaction and Boolean satisfiability