Joshua Blinkhorn

Identifiers

• name variant Joshua Blinkhorn 0.60 · backfill

Papers (2)

1. Hard QBFs for Merge Resolution cs.CC · 2020 · author #2
2. Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs cs.LO · 2017 · author #2

Mentions

• 2012.06779 #2 · arxiv_oai · confidence 0.70 Joshua Blinkhorn
• 1712.03626 #2 · arxiv_oai · confidence 0.70 Joshua Blinkhorn

Frequent Coauthors

• Olaf Beyersdorff 2 shared papers
• Gaurav Sood 1 shared papers
• Luke Hinde 1 shared papers
• Meena Mahajan 1 shared papers
• Tom\'a\v{s} Peitl 1 shared papers