Showing 1 - 4 results of 4 for search 'Olaf Beyersdorff', query time: 0.03s Refine Results
  1. 1
    Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution

    Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution by Olaf Beyersdorff, Benjamin Böhm

    Published 2023-04-01
    Get full text
    Article
  2. 2
    Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs

    Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs by Olaf Beyersdorff, Joshua Blinkhorn, Luke Hinde

    Published 2019-02-01
    Get full text
    Article
  3. 3
    Feasible Interpolation for QBF Resolution Calculi

    Feasible Interpolation for QBF Resolution Calculi by Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla

    Published 2017-06-01
    Get full text
    Article
  4. 4
    Model Checking CTL is Almost Always Inherently Sequential

    Model Checking CTL is Almost Always Inherently Sequential by Olaf Beyersdorff, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Heribert Vollmer

    Published 2011-05-01
    Get full text
    Article

Search Tools: