Enviar aquest missatge de text: A SAT Solver for Circuits Based on the Tableau Method