Dynamic Algorithm Selection for SMT

被引：0
|
作者：
Pimpalkhare, Nikhil [1 ]
机构：
[1] Univ Calif Berkeley, Berkeley, CA 94720 USA
来源：
2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020) | 2020年
关键词：
D O I：
10.1145/3324884.3418922
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We describe an online approach to SMT solver selection using nearest neighbor classification and runtime estimation. We implement and evaluate our approach with MedleySolver, finding that it makes nearly optimal selections and evaluates a dataset of queries three times faster than any indivdual solver.
引用
收藏
页码：1376 / 1378
页数：3
相关论文
共 50 条
  • [1] Algorithm selection for SMT MachSMT: Machine Learning Driven Algorithm Selection for SMT Solvers
    Scott, Joseph
    Niemetz, Aina
    Preiner, Mathias
    Nejati, Saeed
    Ganesh, Vijay
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2023, 25 (02) : 219 - 239
  • [2] MedleySolver: Online SMT Algorithm Selection
    Pimpalkhare, Nikhil
    Mora, Federico
    Polgreen, Elizabeth
    Seshia, Sanjit A.
    [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, 2021, 12831 : 453 - 470
  • [3] Publisher Correction: Algorithm selection for SMT
    Joseph Scott
    Aina Niemetz
    Mathias Preiner
    Saeed Nejati
    Vijay Ganesh
    [J]. International Journal on Software Tools for Technology Transfer, 2023, 25 (5-6) : 799 - 800
  • [4] Algorithm selection for SMTMachSMT: machine learning driven algorithm selection for SMT solvers
    Joseph Scott
    Aina Niemetz
    Mathias Preiner
    Saeed Nejati
    Vijay Ganesh
    [J]. International Journal on Software Tools for Technology Transfer, 2023, 25 : 219 - 239
  • [5] Algorithm selection for SMT (vol 25, pg 219, 2023)
    Scott, Joseph
    Niemetz, Aina
    Preiner, Mathias
    Nejati, Saeed
    Ganesh, Vijay
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2023, 25 (5-6) : 799 - 800
  • [6] Probing questions for SMT selection
    Van Horn, Jeff
    [J]. CONNECTOR SPECIFIER, 2008, 24 (03) : 16 - 18
  • [7] Dynamic Codec Selection Algorithm for VoIP
    Sulovic, Maja
    Raca, Darijo
    Hadzialic, Mesud
    Hadziahmetovic, Nasuf
    [J]. ICDT 2011: THE SIXTH INTERNATIONAL CONFERENCE ON DIGITAL TELECOMMUNICATIONS, 2011, : 74 - 79
  • [8] Dynamic algorithm selection for runtime concepts
    Pirkelbauer, Peter
    Parent, Sean
    Marcus, Mat
    Stroustrup, Bjarne
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2010, 75 (09) : 773 - 786
  • [9] Performance modeling for dynamic algorithm selection
    McCracken, MO
    Snavely, A
    Malony, A
    [J]. COMPUTATIONAL SCIENCE - ICCS 2003, PT IV, PROCEEDINGS, 2003, 2660 : 749 - 758
  • [10] Effective dynamic sample selection algorithm
    Géczy, P
    Usui, S
    [J]. PROCEEDINGS OF THE 2004 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA'04), 2004, : 200 - 206
12345