@inproceedings{ DBLP:conf/aaai/GoultiaevaB10,
  author = {Alexandra Goultiaeva and Fahiem Bacchus}
}
,
  ee = {http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1791}
}
,
  booktitle = {Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI-2010)}
}
,
  title = {Exploiting QBF Duality on a Circuit Representation}
}
,
  url = {GB_AAAI2010.pdf}
}
,
  year = {2010}
}
,
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
,
  pages = {71-76}
}