Decidability of affine solution problems.

Stefan Hetzl Sebastian Zivota

Published in: J. Log. Comput. (2020)

Keyphrases

solving problems
approximate solutions
problems involving
optimization problems
lower bound
description logics
solution quality
multicriteria optimization
robust optimization
integer program
partial solutions
exact solution
database
affine transformation
reinforcement learning
multiscale
neural network
data sets