Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
 
Loading...
Thumbnail Image
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
Loading...
Thumbnail Image
Name

KuncakETAL05AlgorithmDecidingBAPA.pdf

Access type

openaccess

Size

173.4 KB

Format

Adobe PDF

Checksum (MD5)

4d302034c90a93f93c160caaf349070c

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés