Loading...
conference paper
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
2007
Automated Deduction – CADE-21
Loading...
Name
KuncakRinard07TowardsEfficientSatisfiabilityCheckingBoolean.pdf
Access type
openaccess
Size
304.64 KB
Format
Adobe PDF
Checksum (MD5)
9bb10ba7c4175158cdfe9e4babf44d27