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 Access content directly
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

Attribution - NonCommercial - ShareAlike

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⟩
824 View
85 Download

Share

Gmail Facebook X LinkedIn More