Loading...
conference paper
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
2005
Automated Deduction – CADE-20
Type
conference paper
Author(s)
Date Issued
2005
Published in
Automated Deduction – CADE-20
Start page
260
End page
277
Note
Superseded by citeKuncakETAL06DecidingBooleanAlgebraPresburgerArithmetic
Written at
OTHER
EPFL units
Available on Infoscience
August 21, 2007
Use this identifier to reference this record