Aachen : RWTH Aachen, CEUR Workshop Proceedings 2460, 7 Seiten (2019). doi:10.18154/RWTH-CONV-240068 SC-square 2019 : Satisfiability Checking and Symbolic Computation 2019 : Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry (SIAM AG 2019) : Bern, Switzerland, 10th July 2019 / Edited by John Abbott, Alberto Griggio SC-square 2019 : Satisfiability Checking and Symbolic Computation 2019 : Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry (SIAM AG 2019) : Bern, Switzerland, 10th July 2019 / Edited by John Abbott, Alberto Griggio4. Workshop on Satisfiability Checking and Symbolic Computation, SC-square, Bern, Switzerland, 2019-07-10-2019-07-10SIAM Conference on Applied Algebraic Geometry, SIAM AG 2019, Bern, Switzerland, 2019-07-10-2019-07-10