Alberto Casagrande, Alessandro Cimatti, Luca Dorigo, Carla Piazza, Stefano Tonetta. Set-Based Invariants over Polynomial Systems. In Agostino Dovier, Andrea Formisano 0001, editors, Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023. Volume 3428 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
Abstract is missing.