Showing 1 - 2 results of 2 for search 'Leroy Chew', query time: 0.02s Refine Results
  1. 1
    Towards Uniform Certification in QBF

    Towards Uniform Certification in QBF by Leroy Chew, Friedrich Slivovsky

    Published 2024-02-01
    Get full text
    Article
  2. 2
    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

Search Tools: