140 followers
On unification of QBF resolution-based calculi: Beyersdorff, O, Chew, L and Janota, M (2014) On unifica... http://t.co/oDCIZ3sZAD #wrro
On unification of QBF resolution-based calculi: Beyersdorff, O, Chew, L and Janota, M (2014) On unifica... http://t.co/oDCIZ3sZAD #wrro
On the Complexity of List Ranking in the Parallel External Memory Model: http://t.co/XKAWpV5xKU
On the Complexity of List Ranking in the Parallel External Memory Model « cs.DS updates on http://t.co/dL0owc060F: http://t.co/9i3mUIKQW3
A Tight Lower Bound on Certificate Complexity in Terms of Block Sensitivity and Sensitivity « cs.CC updates on... http://t.co/D61W0argNm