Towards a theory of good SAT representations | Read Paper on Bytez