MedleySolver: online SMT algorithm selection
type: Item
instance of: scholarly article
title: MedleySolver: online SMT algorithm selection
DOI: 10.1007/978-3-030-80223-3_31
author: Nikhil Pimpalkhare
author: Federico Mora
author: Elizabeth Polgreen
author: Sanjit A. Seshia
publication date: 2022-03-22T00:00:00Z
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68R07
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 7495591
describes a project that uses: SATzilla
describes a project that uses: CVC4
describes a project that uses: Beaver
describes a project that uses: z3
describes a project that uses: MathSAT
describes a project that uses: MachSMT
describes a project that uses: Yices
MaRDI profile type: Publication
OpenAlex ID: W3185149219
cites work: The Nonstochastic Multiarmed Bandit Problem
cites work: Deciding Bit-Vector Arithmetic with Abstraction
cites work: Q4804887
cites work: Learning and updating of uncertainty in Dirichlet models
cites work: Prediction, Learning, and Games
cites work: Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
cites work: Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams
cites work: Coming to terms with quantified reasoning
cites work: Decision procedures. An algorithmic point of view
cites work: Tutorial on maximum likelihood estimation
cites work: Counterexample-guided quantifier instantiation for synthesis in SMT
cites work: Q3624141
Recommended article: On-line algorithms for polynomially solvable satisfiability problems
Recommended article: The \textsc{MergeSat} solver
Recommended article: Q3140447
Recommended article: Q3624141
Recommended article: Theory and Implementation of Online Multiselection Algorithms
Recommended article: On-line algorithms for satisfiability problems with uncertainty
Recommended article: SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME
Recommended article: Online Estimation of SAT Solving Runtime
description: scientific article; zbMATH DE number 7495591