Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	de Rezende, Susanna F., Nordström, Jakob, Risse, Kilian, Sokolov, Dmitry
Format:	Preprint
Published:	2019
Subjects:	Computational Complexity Logic in Computer Science Combinatorics F.2.2, F.1.3, I.2.3, F.4.1 F.2.2; F.1.3; I.2.3; F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/1912.00534