9 citations · 15 across the 11 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.CC2010★ 1 cited
Separations of Matroid Freeness Properties
Arnab Bhattacharyya, Elena Grigorescu, Jakob Nordström +1
Properties of Boolean functions on the hypercube invariant with respect to linear transformations of the domain are among the most well-studied properties in the context of propert…
cs.CC2010
On the Relative Strength of Pebbling and Resolution
Jakob Nordström
The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven a useful tool for studying resolution-based proof systems whe…