CLASSIFICATION OF HOMOMORPHISMS TO ORIENTED CYCLES AND OF k -PARTITE SATISFIABILITY ∗