QBF as an Alternative to Courcelle's Theorem.

Michael Lampis Stefan Mengel Valia Mitsou

Published in: CoRR (2018)

Keyphrases

database
np complete
data sets
neural network
genetic algorithm
lower bound
evolutionary algorithm
special case
von neumann