Non-CNF QBF Solving with QCIR - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Charles Jordan, Will Klieber, Martina Seidl. Non-CNF QBF Solving with QCIR. 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 'Charles Jordan' in GoogleThis author has not been identified. Look up 'Will Klieber' in GoogleThis author has not been identified. It may be one of the following persons:

Martina Seidl

Look up 'Martina Seidl' in Google

runs on WebDSL