Ilario Bonacina, Nicola Galesi, Neil Thapen. Total Space in Resolution. In 55th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2014, Philadelphia, PA, USA, October 18-21, 2014. pages 641-650, IEEE Computer Society, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.