MedleySolver: online SMT algorithm selection

DOI10.1007/978-3-030-80223-3_31MaRDI QIDQ2118336zbMATH OpenOpenAlexFDO

Authors Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia

Publication date 22 March 2022

Full work available at URL http://hdl.handle.net/20.500.11820/b2ea7a05-d9f4-4ac4-a70e-108c8f323522

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computational aspects of satisfiability (68R07) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• On-line algorithms for polynomially solvable satisfiability problems
• The \textsc{MergeSat} solver
• scientific article; zbMATH DE number 437568
• SATzilla: portfolio-based algorithm selection for SAT
• Theory and implementation of online multiselection algorithms
• On-line algorithms for satisfiability problems with uncertainty
• On-line algorithms for satisfiability problems with uncertainty
• SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME
• Online Estimation of SAT Solving Runtime

Cites work

• Coming to terms with quantified reasoning
• Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
• Counterexample-guided quantifier instantiation for synthesis in SMT
• Deciding Bit-Vector Arithmetic with Abstraction
• Decision procedures. An algorithmic point of view
• scientific article; zbMATH DE number 1903346 (Why is no real title available?)
• Learning and updating of uncertainty in Dirichlet models
• Prediction, Learning, and Games
• SATzilla: portfolio-based algorithm selection for SAT
• Solving quantified bit-vector formulas using binary decision diagrams
• The Nonstochastic Multiarmed Bandit Problem
• Tutorial on maximum likelihood estimation

Cited in

(4)

• MedleySolver
• Bayesian ranking for strategy scheduling in automated theorem provers
• Machine learning and logic: a new frontier in artificial intelligence
• Learning guided automated reasoning: a brief survey

Describes a project that uses

Uses Software

• SATzilla
• CVC4
• Beaver
• z3
• MathSAT
• MachSMT
• Yices

This page was built for publication: MedleySolver: online SMT algorithm selection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118336)