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.

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.