Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic

conference paper

•

Rinard, Martin

2007

Automated Deduction – CADE-21

Name

KuncakRinard07TowardsEfficientSatisfiabilityCheckingBoolean.pdf

Access type

openaccess

Size

304.64 KB

Format

Adobe PDF

Checksum (MD5)

9bb10ba7c4175158cdfe9e4babf44d27