I want to know in general how can I convert $4-SAT$ to 3-SAT.
And I have a specific case that if you can help me optimize it to 3-SAT it will be greate.
I want to do this so I be able to use sat solvers programs.
$(C \lor A \lor D) \land (C \lor B \lor D) \land (\lnot C \lor A \lor \lnot D) \land (\lnot C \lor B \lor \lnot D) \land (C \lor \lnot A \lor \lnot B \lor \lnot D) \land (\lnot C \lor \lnot A \lor \lnot B \lor D)$