Loading...
conference paper
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
2005
Automated Deduction – CADE-20
Loading...
Name
KuncakETAL05AlgorithmDecidingBAPA.pdf
Access type
openaccess
Size
173.4 KB
Format
Adobe PDF
Checksum (MD5)
4d302034c90a93f93c160caaf349070c