Scalable lazy SMT-based motion planning

January 19th, 2021