EasyChair Smart Slide
RP: Evaluation of Equational Constraints for CAD in SMT Solving
RP: Evaluation of Equational Constraints for CAD in SMT Solving