QBF as an Alternative to Courcelle's Theorem.

Michael Lampis Stefan Mengel Valia Mitsou

Published in: SAT (2018)

Keyphrases

quantified boolean formulas
database
neural network
real world
learning algorithm
multiscale
objective function