Deciding Boolean Algebra with Presburger Arithmetic (0)

by Viktor Kuncak, Huu Hai Nguyen, Martin Rinard
Venue:Journal of Automated Reasoning