English
Français
login
Menu
Search
Browse Collections
Help
English
Français
login
Deciding Boolean Algebra with Presburger Arithmetic
Kuncak, Viktor
;
Nguyen, Hai Huu
;
Rinard, Martin
2006
Download
Formats
Format
BibTeX
View
Download
MARC
View
Download
MARCXML
View
Download
DublinCore
View
Download
EndNote
View
Download
NLM
View
Download
RefWorks
View
Download
RIS
View
Download
Files
Details
Title
Deciding Boolean Algebra with Presburger Arithmetic
Author(s)
Kuncak, Viktor
;
Nguyen, Hai Huu
;
Rinard, Martin
Published in
Journal of Automated Reasoning
Volume
36
Issue
3
Pages
213-239
Date
2006
DOI
https://doi.org/10.1007/s10817-006-9042-1
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
Peer-reviewed publications
Work outside EPFL
Journal Articles
Published
Record creation date
2007-08-21
Actions
Preview
Select file:
KuncakETAL06DecidingBooleanAlgebraPresburgerArithmetic - n/a