SAT relaxation techniques