zweidimensionales bewegtes Bild
Almost tight lower bounds on regular resolution refutations of Tseitin Formulas for all constant-degree graphs
- Alternative title
-
On 1-BP complexity of satisfiable Tseitin formulas and how it relates to regular resolution
- Location
-
Hannover TIB
- Extent
-
0MB, 00:28:49:00 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
Proof Complexity (20w5144) ; (Jan. 2020)
- Event
-
Veröffentlichung
- (who)
-
Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
- (when)
-
2020-01-01
- Contributor
-
Itsykson, Dmitry
Nordström, Jakob (Organisation)
Atserias, Albert (Organisation)
Pudlak, Pavel (Organisation)
Santhanam, Rahul (Organisation)
- DOI
-
10.5446/55823
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Itsykson, Dmitry
- Nordström, Jakob (Organisation)
- Atserias, Albert (Organisation)
- Pudlak, Pavel (Organisation)
- Santhanam, Rahul (Organisation)
- Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Time of origin
- 2020-01-01
Other Objects (12)
Unification of almost regular, almost normal and mildly normal topological spaces
Variational formulas for submanifolds of fixed degree
Compact Structure-Preserving Signatures with Almost Tight Security
Simple Constructions from (Almost) Regular One-Way Functions
Coset types and tight subgroups of almost completely decomposable groups
Coset types and tight subgroups of almost completely decomposable groups
Tight bounds on the descriptional complexity of regular expressions
Study preparation and transition into regular degree programmes
Replicator equation on networks with degree regular communities
ALMOST CONTINUITY, REGULAR SET-CONNECTED MAPPINGS AND SOME SEPARATION AXIOMS
The existence of almost periodic solution: via coincidence degree theory
Asymptotic sufficiency of order statistics for almost regular Weibull type densities
Unification of almost regular, almost normal and mildly normal topological spaces
Variational formulas for submanifolds of fixed degree
Compact Structure-Preserving Signatures with Almost Tight Security
Simple Constructions from (Almost) Regular One-Way Functions
Coset types and tight subgroups of almost completely decomposable groups
Coset types and tight subgroups of almost completely decomposable groups
Tight bounds on the descriptional complexity of regular expressions
Study preparation and transition into regular degree programmes
Replicator equation on networks with degree regular communities
ALMOST CONTINUITY, REGULAR SET-CONNECTED MAPPINGS AND SOME SEPARATION AXIOMS
The existence of almost periodic solution: via coincidence degree theory
Asymptotic sufficiency of order statistics for almost regular Weibull type densities
Unification of almost regular, almost normal and mildly normal topological spaces
Variational formulas for submanifolds of fixed degree
Compact Structure-Preserving Signatures with Almost Tight Security
Simple Constructions from (Almost) Regular One-Way Functions
Coset types and tight subgroups of almost completely decomposable groups
Coset types and tight subgroups of almost completely decomposable groups
Tight bounds on the descriptional complexity of regular expressions
Study preparation and transition into regular degree programmes
Replicator equation on networks with degree regular communities
ALMOST CONTINUITY, REGULAR SET-CONNECTED MAPPINGS AND SOME SEPARATION AXIOMS
The existence of almost periodic solution: via coincidence degree theory