Author: Bao Le [RDF, Bibtex, BibBase, BibGraph] has 1 publication
report error (So far 0 user(s) reported errors on this item)
See also:
- http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Le:Bao.html is this correct?
- http://dblp.l3s.de/d2r/resource/authors/Bao_Le is this correct?
Leveraging dominators for preprocessing QBF
Hratch Mangassarian, Bao Le, Alexandra Goultiaeva, Andreas G. Veneris, Fahiem Bacchus.
Design, Automation and Test in Europe (DATE 2010)
1695-1700
2010
