conference paper

Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic

Kuncak, Viktor  orcid-logo
•
Rinard, Martin
2007
Automated Deduction – CADE-21
Conference on Automateded Deduction (CADE-21)
Type
conference paper
DOI
10.1007/978-3-540-73595-3_15
Web of Science ID

WOS:000248112500015

Author(s)
Kuncak, Viktor  orcid-logo
Rinard, Martin
Date Issued

2007

Published in
Automated Deduction – CADE-21
Start page

215

End page

230

Written at

OTHER

EPFL units
LARA  
Event name
Conference on Automateded Deduction (CADE-21)
Available on Infoscience
August 21, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/10403