Leveraging dominators for preprocessing QBF - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Hratch Mangassarian, Bao Le, Alexandra Goultiaeva, Andreas G. Veneris, Fahiem Bacchus. Leveraging dominators for preprocessing QBF. In Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010. pages 1695-1700, IEEE, 2010. [doi]

The following publications are possibly variants of this publication:

Preprocessing QBFHorst Samulowitz, Jessica Davies, Fahiem Bacchus. cp 2006: 514-529 [doi]

runs on WebDSL