An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic

Kuncak, ViktorNguyen, Hai HuuRinard, Martin2007-08-212007-08-212007-08-21200510.1007/11532231_20https://infoscience.epfl.ch/handle/20.500.14299/10387An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetictext::conference output::conference proceedings::conference paper