Christoph Zengler, Wolfgang Küchlin. Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases. In Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings. Volume 6244 of Lecture Notes in Computer Science, pages 293-302, Springer, 2010. [doi]