Slot Machines: an approach to the Strategy Challenge in SMT solving (presentation only) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Slot Machines: an approach to the Strategy Challenge in SMT solving (presentation only)

Résumé

In this short introduction we briefly describe the relevance of Psyche's system description [GL13] to the Strategy Challenge set by L. de Moura and G. O. Passmore for SMT solving.
Fichier principal
Vignette du fichier
Main.pdf (194.91 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01211209 , version 1 (04-10-2015)

Licence

Identifiants

  • HAL Id : hal-01211209 , version 1

Citer

Stéphane Graham-Lengrand. Slot Machines: an approach to the Strategy Challenge in SMT solving (presentation only). 13th International Workshop on Satisfiability Modulo Theories, Jul 2015, San Francisco, United States. ⟨hal-01211209⟩
825 Consultations
91 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More