I have a question. SAT in which all the clauses have three variables (3-SAT) is more difficult than a traditional SAT which may also include clauses one and two variables? (Of course there are also clauses of the three variables but not all have three variables. More than 3 variables in clauses not exist.)
After my converted a traditional SAT to 3-SAT, analysis of the problem 3-SAT is more difficult for SAT solvers? Meybe it not change anything?
It may seem strange but I want to get after the conversion specified function was difficult as possible.