An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
2005
Fichiers
Détails
Titre
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
Auteur(s)
Kuncak, Viktor ; Nguyen, Hai Huu ; Rinard, Martin
Publié dans
Automated Deduction – CADE-20
Pages
260–277
Présenté à
20th International Conference on Automated Deduction, CADE-20
Date
2005
Note
Superseded by citeKuncakETAL06DecidingBooleanAlgebraPresburgerArithmetic
Laboratoires
LARA
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > LARA - Laboratoire d'analyse et de raisonnement automatisés
Travail hors EPFL
Papiers de conférence
Publié
Travail hors EPFL
Papiers de conférence
Publié
Date de création de la notice
2007-08-21