Login / Signup
Anytime Algorithms for MaxSAT and Beyond.
Alexander Nadel
Published in:
FMCAD (2020)
Keyphrases
</>
anytime algorithms
dynamic programming
data streams
real time systems
upper bound
optimal solution
heuristic search algorithms
branch and bound algorithm
anytime classification
sat solvers
combinatorial optimization
solution quality
lower bound
real time
markov chain
markov decision problems