Deciding Boolean Algebra with Presburger Arithmetic

research article

Deciding Boolean Algebra with Presburger Arithmetic

•

Nguyen, Hai Huu

•

Rinard, Martin

2006

Journal of Automated Reasoning

Name

KuncakETAL06DecidingBooleanAlgebraPresburgerArithmetic.pdf

Access type

openaccess

Size

299.83 KB

Format

Adobe PDF

Checksum (MD5)

b12064872a302b2ec3566b28258f3c26