scientific article; zbMATH DE number 6862068

DOI10.4230/LIPIcs.FSTTCS.2016.40zbMath1391.03041MaRDI QIDQ4636589

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

Publication date: 19 April 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

simulationscutting planesresolutionproof complexityQBF

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Related Items (2)

Understanding cutting planes for QBFs ⋮ Unnamed Item

This page was built for publication: