Leveraging dominators for preprocessing QBF. Mangassarian, H., Le, B., Goultiaeva, A., Veneris, A. G., & Bacchus, F. In Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010, pages 1695-1700, 2010.
Leveraging dominators for preprocessing QBF [link]Link  bibtex   2 downloads  
@InProceedings{DBLP:conf/date/MangassarianLGVB10,
  Title                    = {Leveraging dominators for preprocessing QBF},
  Author                   = {Hratch Mangassarian and
 Bao Le and
 Alexandra Goultiaeva and
 Andreas G. Veneris and
 Fahiem Bacchus},
  Booktitle                = {Design, Automation and Test in Europe, DATE 2010, Dresden,
 Germany, March 8-12, 2010},
  Year                     = {2010},
  Pages                    = {1695-1700},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5457088},
  Timestamp                = {2018.09.23}
}

Downloads: 2