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

Stéphane Graham-Lengrand 1, 2, 3
2 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : 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.
Type de document :
Communication dans un congrès
13th International Workshop on Satisfiability Modulo Theories, Jul 2015, San Francisco, United States
Liste complète des métadonnées

Littérature citée [3 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01211209
Contributeur : Stéphane Graham-Lengrand <>
Soumis le : dimanche 4 octobre 2015 - 00:05:11
Dernière modification le : vendredi 17 février 2017 - 16:14:08
Document(s) archivé(s) le : mardi 5 janvier 2016 - 10:02:00

Fichier

Main.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Partage selon les Conditions Initiales 4.0 International License

Identifiants

  • HAL Id : hal-01211209, version 1

Citation

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〉

Partager

Métriques

Consultations de
la notice

191

Téléchargements du document

54