An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic

conference paper

An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic

•

Nguyen, Hai Huu

•

Rinard, Martin

2005

Automated Deduction – CADE-20

20th International Conference on Automated Deduction, CADE-20

Name

KuncakETAL05AlgorithmDecidingBAPA.pdf

Access type

openaccess

Size

173.4 KB

Format

Adobe PDF

Checksum (MD5)

4d302034c90a93f93c160caaf349070c