5 citations · 7 across the 5 of their papers we have counts for
1 paper · 1 filter
Meena Mahajan, Gaurav Sood
The Merge Resolution proof system (M-Res) for QBFs, proposed by Beyersdorff et al. in 2019, explicitly builds partial strategies inside refutations. The original motivation for thi…