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
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 : jeudi 1 août 2024-17:08:02

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
831 Consultations
106 Téléchargements

Partager

More