Optimal Satisfiability Checking for Arithmetic μ-Calculi.

Daniel Hausmann Lutz Schröder

Published in: CoRR (2019)

Keyphrases

optimal solution
data sets
neural network
optimal control
optimal strategy
finding optimal
database
genetic algorithm
decision trees
database systems
worst case
sufficient conditions
feature subset
floating point
asymptotically optimal