@article {DBLP:journals/cacm/BrightKG22,
	title = {When satisfiability solving meets symbolic computation},
	journal = {Commun. ACM},
	volume = {65},
	number = {7},
	year = {2022},
	pages = {64{\textendash}72},
	doi = {10.1145/3500921},
	url = {https://doi.org/10.1145/3500921},
	author = {Curtis Bright and Ilias S. Kotsireas and Vijay Ganesh}
}
