In our lab, you are free to work on what you are interested in, and your colleagues will always be there when you need help or feedback.
Our paper "MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers" will be presented at CADE 2015 in Berlin.
by on May 21, 2015
In this paper, we describe a combined SAT solver + computer algebra system that we use to extend known results on two graph-theoretic conjectures related to hypercubes.
