Resolution complexity of perfect mathcing principles for sparse graphs.
['Dmitry Itsykson', 'Mikhail Slabodkin', 'Dmitry Sokolov']
Resolution complexity of perfect mathcing principles for sparse graphs.