Towards Uniform Certification in QBF.

Leroy Chew Friedrich Slivovsky

Published in: Electron. Colloquium Comput. Complex. (2021)

Keyphrases

quantified boolean formulas
third party
quantified boolean formulae
database
neural network
artificial intelligence
database administration
linear array
universally quantified