Login / Signup

The complexity of approximations for epistemic synthesis (extended abstract).

Xiaowei HuangRon 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