Towards Uniform Certification in QBF.

Leroy Chew Friedrich Slivovsky

Published in: STACS (2022)

Keyphrases

third party
quantified boolean formulas
online learning
linear array
real time
data sets
neural network
genetic algorithm
constraint satisfaction