Skip to main content
Infoscience
English
French
Log In
Log in with EPFL account
Log in with local account
Infoscience
English
French
Log In
Log in with EPFL account
Log in with local account
Home
Academic and Research Output
Conferences, Workshops, Symposiums, and Seminars
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
Loading...
Loading...
conference paper
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
Kuncak, Viktor
•
Nguyen, Hai Huu
•
Rinard, Martin
2005
Automated Deduction – CADE-20
20th International Conference on Automated Deduction, CADE-20
Files
Details
Metrics