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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
Main.pdf (194.91 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Stéphane Graham-Lengrand  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01211209

Soumis le : dimanche 4 octobre 2015-00:05:11

Dernière modification le : vendredi 24 mars 2023-14:53:01

Archivage à long terme le : mardi 5 janvier 2016-10:02:00

Télécharger pour visualiser

Dates et versions

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

Licence

Paternité - Pas d'utilisation commerciale - Partage selon les Conditions Initiales

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2 UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE
824 Consultations
86 Téléchargements

Partager

Gmail Facebook X LinkedIn More