Accepted Paper by Jasper Nalbach

Congratulations to Jasper Nalbach (together with Philipp Bär, Erika Ábrahám, and Christopher Brown) for the accepted paper "Exploiting Strict Constraints in the Cylindrical Algebraic Covering" for the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023).