rss group by: generated by BibBase.org
Leveraging dominators for preprocessing QBF. Mangassarian, H.; Le, B.; Goultiaeva, A.; Veneris, A. G.; and Bacchus, F. 2010. In Design, Automation and Test in Europe (DATE 2010), 1695-1700.
Leveraging dominators for preprocessing QBF [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5457088] Leveraging dominators for preprocessing QBF [PDF] Leveraging dominators for preprocessing QBF [bib]    
Statistics: ? unique visitors, ? downloads | Link To This Page.