New paper I'm proud to be involved in: arXiv I primarily worked on the linear integer arithmetic component and it's interface with the rest of the solver. read more →