Bridging the gap between dual propagation and CNF-based QBF solving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexandra Goultiaeva, Martina Seidl, Armin Biere. Bridging the gap between dual propagation and CNF-based QBF solving. In Enrico Macii, editor, Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013. pages 811-814, EDA Consortium San Jose, CA, USA / ACM DL, 2013. [doi]

This author has not been identified. Look up 'Alexandra Goultiaeva' in GoogleThis author has not been identified. It may be one of the following persons:

Martina Seidl

Look up 'Martina Seidl' in GoogleThis author has not been identified. Look up 'Armin Biere' in Google

runs on WebDSL