Jan Horácek, Jan Burchard, Bernd Becker 0001, Martin Kreuzer. Integrating Algebraic and SAT Solvers. In Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos, editors, Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings. Volume 10693 of Lecture Notes in Computer Science, pages 147-162, Springer, 2017. [doi]
@inproceedings{HoracekB0K17,
title = {Integrating Algebraic and SAT Solvers},
author = {Jan Horácek and Jan Burchard and Bernd Becker 0001 and Martin Kreuzer},
year = {2017},
doi = {10.1007/978-3-319-72453-9_11},
url = {https://doi.org/10.1007/978-3-319-72453-9_11},
researchr = {https://researchr.org/publication/HoracekB0K17},
cites = {0},
citedby = {0},
pages = {147-162},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
editor = {Johannes Blömer and Ilias S. Kotsireas and Temur Kutsia and Dimitris E. Simos},
volume = {10693},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-72453-9},
}