Clauses Versus Gates in CEGAR-Based 2QBF Solving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl. Clauses Versus Gates in CEGAR-Based 2QBF Solving. In Adnan Darwiche, editor, Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016. Volume WS-16-05 of AAAI Workshops, AAAI Press, 2016. [doi]

This author has not been identified. Look up 'Valeriy Balabanov' in GoogleThis author has not been identified. Look up 'Jie-Hong Roland Jiang' in GoogleThis author has not been identified. Look up 'Alan Mishchenko' in GoogleThis author has not been identified. Look up 'Christoph Scholl' in Google

runs on WebDSL