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 |