Flexible and Optimal Dependency Management via Max-SMT.

Donald Pinckney Federico Cassano Arjun Guha Jonathan Bell Massimiliano Culpo Todd Gamblin

Published in: ICSE (2023)

Keyphrases

optimal solution
optimal design
information systems
decision making
lightweight
databases
data mining
management system
worst case
data management
database
machine learning
data structure
dynamic programming
decision support
optimal control