Top

computational complexity

Published in:

01-06-2021

Resolution with Counting: Dag-Like Lower Bounds and Different Moduli

Authors: Fedor Part , Iddo Tzameret

Published in: computational complexity | Issue 1/2021

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

previous article Smooth and Strong PCPs

next article Explicit List-Decodable Codes with Optimal Rate for Computationally Bounded Channels

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Title: Resolution with Counting: Dag-Like Lower Bounds and Different Moduli
Authors: Fedor Part
Iddo Tzameret
Publication date: 01-06-2021
Publisher: Springer International Publishing
Published in: computational complexity / Issue 1/2021
Print ISSN: 1016-3328
Electronic ISSN: 1420-8954
DOI: https://doi.org/10.1007/s00037-020-00202-x

Springer Professional

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Other articles of this Issue 1/2021

Smooth and Strong PCPs

Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling

Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space

Lower Bounds for Matrix Factorization

Blackbox identity testing for sum of special ROABPs and its border class

Subquadratic-Time Algorithms for Normal Bases

Premium Partner