Skip to main Skip to footer

University of Waterloo

When satisfiability solving meets symbolic computation

Citation:

C. Bright, Kotsireas, I. S. , and Ganesh, V. , “When satisfiability solving meets symbolic computation”, Commun. ACM, vol. 65, pp. 64–72, 2022.

University of Waterloo

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo, ON, Canada N2L 3G1

Log in