Waterloo Intelligent Systems Engineering Lab Home. Contacts Contacts ... (e.g., graph and number theory, algebra, geometry, etc.) supported by the ... The key insight behind the power of the SAT+CAS ...

Road surface extraction from high-resolution remote sensing images has many engineering applications; however, extracting regularized and smooth road surface maps that reach the human delineation ...

We allow preprocessing the graph using a linear amount of extra space to store auxiliary information, and using this information to answer shortest path queries quickly. Our approach uses A* search in ...