@inproceedings{ DBLP:conf/date/MangassarianLGVB10,
  author = {Hratch Mangassarian and Bao Le and Alexandra Goultiaeva and Andreas G. Veneris and Fahiem Bacchus}
}
,
  ee = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5457088}
}
,
  booktitle = {Design, Automation and Test in Europe (DATE 2010)}
}
,
  title = {Leveraging dominators for preprocessing QBF}
}
,
  url = {MLGVB_DATE2010.pdf}
}
,
  year = {2010}
}
,
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
,
  pages = {1695-1700}
}