Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
2007
Files
Détails
Titre
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
Auteur(s)
Kuncak, Viktor ; Rinard, Martin
Publié dans
Automated Deduction – CADE-21
Pages
215–230
Présenté à
Conference on Automateded Deduction (CADE-21)
Date
2007
Autres identifiant(s)
Afficher la publication dans Web of Science
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