research
∙
12/20/2020
Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge
We introduce Prove-It, a Python-based general-purpose interactive theore...
share
research
∙
06/12/2020
Fractional Decomposition Tree Algorithm: A tool for studying the integrality gap of Integer Programs
We present a new algorithm, Fractional Decomposition Tree (FDT) for find...
research
∙
06/08/2020
A New Integer Programming Formulation of the Graphical Traveling Salesman Problem
In the Traveling Salesman Problem (TSP), a salesman wants to visit a set...
research
∙
05/25/2020
