Uwe Egly, Leopold Haller. A SAT Solver for Circuits Based on the Tableau Method. KI, 24(1):15-23, 2010. [doi]
@article{EglyH10, title = {A SAT Solver for Circuits Based on the Tableau Method}, author = {Uwe Egly and Leopold Haller}, year = {2010}, doi = {10.1007/s13218-010-0008-4}, url = {http://dx.doi.org/10.1007/s13218-010-0008-4}, tags = {rule-based}, researchr = {https://researchr.org/publication/EglyH10}, cites = {0}, citedby = {0}, journal = {KI}, volume = {24}, number = {1}, pages = {15-23}, }