An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic

conference paper

•

Nguyen, Hai Huu

•

Rinard, Martin

2005

Automated Deduction – CADE-20

Type

conference paper

DOI

Author(s)

Nguyen, Hai Huu

Rinard, Martin

Date Issued

2005

Published in

Automated Deduction – CADE-20

Start page

260

End page

277

Note

Superseded by citeKuncakETAL06DecidingBooleanAlgebraPresburgerArithmetic

Written at

OTHER

EPFL units

Event name

Available on Infoscience

August 21, 2007

Use this identifier to reference this record