Search
Now showing items 1-1 of 1
Quantifier-Free Boolean Algebra with Presburger Arithmetic is NP-Complete
(2007-01-01)
Boolean Algebra with Presburger Arithmetic (BAPA) combines1) Boolean algebras of sets of uninterpreted elements (BA)and 2) Presburger arithmetic operations (PA). BAPA canexpress the relationship between integer variables ...