Showing 1 - 2 results of 2 for search 'Beyersdorff, O', query time: 0.02s Refine Results
  1. 1
    Reasons for hardness in QBF proof systems

    Reasons for hardness in QBF proof systems by Beyersdorff, O, Hinde, L, Pich, J

    Published 2020
    Journal article
  2. 2
    Frege systems for quantified Boolean logic

    Frege systems for quantified Boolean logic by Beyersdorff, O, Bonacina, I, Chew, L, Pich, J

    Published 2020
    Journal article

Search Tools: