Christoph Zengler, Wolfgang Küchlin. Boolean Gröbner bases in SAT solving. ACM Comm. Computer Algebra, 45(1/2):141-142, 2011. [doi]
@article{ZenglerK11, title = {Boolean Gröbner bases in SAT solving}, author = {Christoph Zengler and Wolfgang Küchlin}, year = {2011}, doi = {10.1145/2016567.2016596}, url = {http://doi.acm.org/10.1145/2016567.2016596}, researchr = {https://researchr.org/publication/ZenglerK11}, cites = {0}, citedby = {0}, journal = {ACM Comm. Computer Algebra}, volume = {45}, number = {1/2}, pages = {141-142}, }