Login / Signup
The complexity of approximations for epistemic synthesis (extended abstract).
Xiaowei Huang
Ron van der Meyden
Published in:
SYNT (2015)
Keyphrases
</>
extended abstract
worst case
decision problems
evolutionary algorithm
program synthesis
artificial neural networks
computational cost
description logics
closed form
efficient computation
lower complexity