zweidimensionales bewegtes Bild
Almost tight lower bounds on regular resolution refutations of Tseitin Formulas for all constant-degree graphs
- Weitere Titel
-
On 1-BP complexity of satisfiable Tseitin formulas and how it relates to regular resolution
- Standort
-
Hannover TIB
- Umfang
-
0MB, 00:28:49:00 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
Proof Complexity (20w5144) ; (Jan. 2020)
- Ereignis
-
Veröffentlichung
- (wer)
-
Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
- (wann)
-
2020-01-01
- Beteiligte Personen und Organisationen
-
Itsykson, Dmitry
Nordström, Jakob (Organisation)
Atserias, Albert (Organisation)
Pudlak, Pavel (Organisation)
Santhanam, Rahul (Organisation)
- DOI
-
10.5446/55823
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- 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
Entstanden
- 2020-01-01
Ähnliche Objekte (12)
Unification of almost regular, almost normal and mildly normal topological spaces
Compact Structure-Preserving Signatures with Almost Tight Security
Variational formulas for submanifolds of fixed degree
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
Compact Structure-Preserving Signatures with Almost Tight Security
Variational formulas for submanifolds of fixed degree
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
Compact Structure-Preserving Signatures with Almost Tight Security
Variational formulas for submanifolds of fixed degree
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