Understanding cutting planes for QBFs

From MaRDI portal
Publication:1784953

DOI10.1016/j.ic.2018.08.002zbMath1477.03245OpenAlexW2887013560WikidataQ63378008 ScholiaQ63378008MaRDI QIDQ1784953

Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil K. Shukla

Publication date: 27 September 2018

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: http://eprints.whiterose.ac.uk/147855/8/manuscript.pdf




Related Items (4)


Uses Software


Cites Work


This page was built for publication: Understanding cutting planes for QBFs