research article

Deciding Boolean Algebra with Presburger Arithmetic

Kuncak, Viktor  orcid-logo
•
Nguyen, Hai Huu
•
Rinard, Martin
2006
Journal of Automated Reasoning
Loading...
Thumbnail Image
Name

KuncakETAL06DecidingBooleanAlgebraPresburgerArithmetic.pdf

Access type

openaccess

Size

299.83 KB

Format

Adobe PDF

Checksum (MD5)

b12064872a302b2ec3566b28258f3c26