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
Conference Papers Year : 2015

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

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.
Fichier principal
Vignette du fichier
Main.pdf (194.91 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Licence

Identifiers

  • HAL Id : hal-01211209 , version 1

Cite

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⟩
829 View
105 Download

Share

More