A Compact Representation for Syntactic Dependencies in QBFs.

Florian Lonsing Armin Biere

Published in: SAT (2009)

Keyphrases

syntactic dependencies
pairwise
semantic representation
error rate
test set
representation language
semantic dependencies