Tight Lower Bounds on the Resolution Complexity of Perfect Matching Principles
Itsykson, Dmitry, Oparin, Vsevolod, Slabodkin, Mikhail, Sokolov, Dmitry, Karhumäki, J., Mazalov, V., Matiyasevich, Yu.Volume:
145
Language:
english
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2016-1358
Date:
August, 2016
File:
PDF, 138 KB
english, 2016