Amanote Research
Register
Sign In
Leveraging Dominators for Preprocessing QBF
doi 10.1109/date.2010.5457088
Full Text
Open PDF
Abstract
Available in
full text
Date
March 1, 2010
Authors
H Mangassarian
A Goultiaeva
A Veneris
F Bacchus
Publisher
IEEE