Data-Driven Design and Evaluation of SMT Meta-Solving Strategies.

Malte Mues Falk Howar

Published in: Software Engineering (2022)

Keyphrases

data driven
machine learning
information retrieval
evaluation method
design principles
databases
knowledge based systems
evolutionary algorithm
assessment tool
optimal design
meta level
design process
linear programming
user interface
multi agent systems
database systems
case study
information systems
neural network