No. Title Author Year
1 Building Strategies into QBF Proofs Beyersdorff, Olaf et al. 2019
2 Lower Bound Techniques for QBF Proof Systems Mahajan, Meena 2018
3 Arithmetic Circuits: An Overview (Invited Talk) Mahajan, Meena 2017
4 Computing the Maximum using (min, +) Formulas Mahajan, Meena et al. 2017
5 Are Short Proofs Narrow? QBF Resolution is not Simple Beyersdorff, Olaf et al. 2016
6 Circuits, Logic and Games (Dagstuhl Seminar 15401) Bojanczyk, Mikolaj et al. 2016
7 Understanding Cutting Planes for QBFs Beyersdorff, Olaf et al. 2016
8 Homomorphism Polynomials Complete for VP Durand, Arnaud et al. 2014
9 LIPIcs, Volume 8, FSTTCS'10, Complete Volume Lodaya, Kamal et al. 2013
10 Frontmatter, Table of Contents, Preface, Conference Organization, Author Index Lodaya, Kamal et al. 2010
Current Page :
Number of result pages: 2
Number of documents: 11


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI