Sign in

A Compact Representation for Syntactic Dependencies in QBFs.

Florian LonsingArmin Biere
Published in: SAT (2009)
Keyphrases
  • syntactic dependencies
  • pairwise
  • semantic representation
  • error rate
  • test set
  • representation language
  • semantic dependencies