From Tableau-based to SAT-based procedures - preliminary report