Transforming Undecidable Synthesis Problems into Decidable Problems.

Bernd Finkbeiner

Published in: VPT@CAV (2013)

Keyphrases

database
multi class
np complete
application domains
database systems
problems involving
solving problems
difficult problems