Towards Uniform Certification in QBF.

Leroy Chew Friedrich Slivovsky

Published in: CoRR (2022)

Keyphrases

quantified boolean formulas
third party
database
artificial intelligence
databases
learning algorithm
evolutionary algorithm
database administration
decision procedures