The QBF Gallery: Behind the Scenes.

Florian Lonsing Martina Seidl Allen Van Gelder

Published in: CoRR (2015)

Keyphrases

quantified boolean formulas
dynamic scenes
natural scenes
complex scenes
real scenes
computer vision
face images
real world scenes
quantified boolean formulae
video sequences