Total Space in Resolution

Ilario Bonacina, Nicola Galesi, Neil Thapen. Total Space in Resolution. SIAM Journal on Computing, 45(5):1894-1909, 2016. [doi]

Authors

Ilario Bonacina

This author has not been identified. Look up 'Ilario Bonacina' in Google

Nicola Galesi

This author has not been identified. Look up 'Nicola Galesi' in Google

Neil Thapen

This author has not been identified. Look up 'Neil Thapen' in Google