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]
Abstract is missing.