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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [3 references]  Display  Hide  Download

https://hal.inria.fr/hal-01211209
Contributor : Stéphane Graham-Lengrand <>
Submitted on : Sunday, October 4, 2015 - 12:05:11 AM
Last modification on : Wednesday, March 27, 2019 - 4:41:29 PM
Long-term archiving on: Tuesday, January 5, 2016 - 10:02:00 AM

File

Main.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial - ShareAlike 4.0 International License

Identifiers

  • 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⟩

Share

Metrics

Record views

1035

Files downloads

104