Algorithm selection for SMT
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
Topics & Concepts
Computer scienceSatisfiability modulo theoriesSolverRanking (information retrieval)Pairwise comparisonTheory of computationSelection (genetic algorithm)Domain (mathematical analysis)Theoretical computer scienceProgramming languageAlgorithmArtificial intelligenceMathematicsMathematical analysisSoftware Engineering ResearchSoftware Testing and Debugging TechniquesAdversarial Robustness in Machine Learning