Գրեք սա: The order encoding: from tractable CSP to tractable SAT (extended abstract)