An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
2005
Files
Details
Title
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
Author(s)
Kuncak, Viktor ; Nguyen, Hai Huu ; Rinard, Martin
Published in
Automated Deduction – CADE-20
Pages
260–277
Conference
20th International Conference on Automated Deduction, CADE-20
Date
2005
Note
Superseded by citeKuncakETAL06DecidingBooleanAlgebraPresburgerArithmetic
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Work outside EPFL
Conference Papers
Published
Work outside EPFL
Conference Papers
Published
Record creation date
2007-08-21