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.

Domains

Logic in Computer Science [cs.LO]
Fichier principal
Vignette du fichier
Main.pdf (194.91 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Stéphane Graham-Lengrand  : Connect in order to contact the contributor

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

Submitted on : Sunday, October 4, 2015-12:05:11 AM

Last modification on : Thursday, August 1, 2024-5:08:02 PM

Long-term archiving on : Tuesday, January 5, 2016-10:02:00 AM

Download

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⟩

Export

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

Share

More