1. Symbolic computation and satisfiability checking. (September 2020) Authors: Davenport, James H.; England, Matthew; Griggio, Alberto; Sturm, Thomas; Tinelli, Cesare Journal: Journal of symbolic computation Issue: Volume 100(2020) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗