Hratch Mangassarian, Bao Le, Alexandra Goultiaeva, Andreas G. Veneris, Fahiem Bacchus
Leveraging dominators for preprocessing QBF
DATE, 2010.
@inproceedings{DATE-2010-MangassarianLGVB,
author = "Hratch Mangassarian and Bao Le and Alexandra Goultiaeva and Andreas G. Veneris and Fahiem Bacchus",
booktitle = "{Proceedings of the 14th Conference on Design, Automation and Test in Europe}",
pages = "1695--1700",
publisher = "{IEEE}",
title = "{Leveraging dominators for preprocessing QBF}",
year = 2010,
}