Optimal Satisfiability Checking for Arithmetic \mu -Calculi.

Daniel Hausmann Lutz Schröder

Published in: FoSSaCS (2019)

Keyphrases

optimal solution
search space
worst case
data mining
machine learning
objective function
artificial neural networks
dynamic programming
closed form
optimal design