Towards Uniform Certification in QBF.

Leroy Chew Friedrich Slivovsky

Published in: Log. Methods Comput. Sci. (2024)

Keyphrases

quantified boolean formulas
data sets
databases
third party
real time
information systems
evolutionary algorithm
cd rom