Publication

[WimmerWSB16] Skolem Functions for DQBF Wimmer, K.; Wimmer, R.; Scholl, C. and Becker, B. In ATVA, pages 395-411, LNCS 9938, 2016.Downloads: bib