Bromberger, Martin Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Bromberger, M., & Weidenbach, C. (2016). Fast Cube Tests for LIA Constraint Solving. In N. Olivetti, & A. Tiwari (Eds.), Automated Reasoning (pp. 116-132). Berlin: Springer. doi:10.1007/978-3-319-40229-1_9.