I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Are Short Proofs Narrow? QBF Resolution Is Not So Simple:

Beyersdorff, Olaf ; Chew, Leroy ; Mahajan, Meena.
ACM Transactions on Computational Logic (TOCL).  19 (2017)  1 - p. 1-26 , 2017
Link: https://dl.acm.org/doi/10.1145/3157053