Loading...
research article
Deciding Boolean Algebra with Presburger Arithmetic
Type
research article
Author(s)
Date Issued
2006
Published in
Volume
36
Issue
3
Start page
213
End page
239
Peer reviewed
REVIEWED
Written at
OTHER
EPFL units
Available on Infoscience
August 21, 2007
Use this identifier to reference this record