1. Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure. (May 2023) Authors: Li, Haokun; Xia, Bican; Zhang, Huiying; Zheng, Tao Journal: Journal of symbolic computation Issue: Volume 116(2023) Page Start: 324 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗