Publication

Deciding Boolean Algebra with Presburger Arithmetic