A SAT Solver for Circuits Based on the Tableau Method - Egly, U; Haller, L (2010)