TY  - RPRT
TI  - The Potential and Challenges of CAD with Equational Constraints for SC-Square
AU  - James H. Davenport
AU  - Matthew England
PY  - 2017
DO  - 10.1007/978-3-319-72453-9_22
UR  - https://arxiv.org/abs/1711.00312
ID  - 1711.00312
ER  -