A repository associated with work under Dr. Bertran. This includes the patent query and partial propagation algorithms. - View it on GitHub