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


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