Bromberger, Martin Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
s10703-017-0278-7.pdf (Publisher version), 789KB
Bromberger, M., & Weidenbach, C. (2017). New Techniques for Linear Arithmetic: Cubes and Equalities. Formal Methods in System Design, 51(3), 433-461. doi:10.1007/s10703-017-0278-7.