Skolem functions for DQBF
From MaRDI portal
Publication:1990517
DOI10.1007/978-3-319-46520-3_25zbMath1398.68487OpenAlexW2522313955MaRDI QIDQ1990517
Ralf Wimmer, Karina Wimmer, Bernd Becker, Christoph Scholl
Publication date: 25 October 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-46520-3_25
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Solving dependency quantified Boolean formulas using quantifier localization ⋮ The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1
Uses Software
This page was built for publication: Skolem functions for DQBF
