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]
@inproceedings{ZenglerK10,
title = {Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases},
author = {Christoph Zengler and Wolfgang Küchlin},
year = {2010},
doi = {10.1007/978-3-642-15274-0_26},
url = {http://dx.doi.org/10.1007/978-3-642-15274-0_26},
researchr = {https://researchr.org/publication/ZenglerK10},
cites = {0},
citedby = {0},
pages = {293-302},
booktitle = {Computer Algebra in Scientific Computing - 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings},
editor = {Vladimir P. Gerdt and Wolfram Koepf and Ernst W. Mayr and Evgenii V. Vorozhtsov},
volume = {6244},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-15273-3},
}