zweidimensionales bewegtes Bild
Characterising QBF Hardness via Circuit Complexity
- Standort
-
Hannover TIB
- Umfang
-
0MB, 00:29:50: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
-
Beyersdorff, Olaf
Nordström, Jakob (Organisation)
Atserias, Albert (Organisation)
Pudlak, Pavel (Organisation)
Santhanam, Rahul (Organisation)
- DOI
-
10.5446/55833
- Letzte Aktualisierung
-
04.12.2024, 08:10 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
- Beyersdorff, Olaf
- 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)
Circuit Complexity in Z2 EEFT
Hardness
Circuit complexity of group theoretic problems
Introduction to circuit complexity : a uniform approach
Descriptive complexity of circuit-based counting classes
Finite automata, formal logic, and circuit complexity
Hardness Condensation
Characterising visual context effects
On the space and circuit complexity of parameterized problems
Characterising cell fate decision in space and time via transcriptomic data analysis
Materials Testing - Hardness Testing
Scratch hardness of glass
Circuit Complexity in Z2 EEFT
Hardness
Circuit complexity of group theoretic problems
Introduction to circuit complexity : a uniform approach
Descriptive complexity of circuit-based counting classes
Finite automata, formal logic, and circuit complexity
Hardness Condensation
Characterising visual context effects
On the space and circuit complexity of parameterized problems
Characterising cell fate decision in space and time via transcriptomic data analysis
Materials Testing - Hardness Testing
Scratch hardness of glass
Circuit Complexity in Z2 EEFT
Hardness
Circuit complexity of group theoretic problems
Introduction to circuit complexity : a uniform approach
Descriptive complexity of circuit-based counting classes
Finite automata, formal logic, and circuit complexity
Hardness Condensation
Characterising visual context effects
On the space and circuit complexity of parameterized problems
Characterising cell fate decision in space and time via transcriptomic data analysis
Materials Testing - Hardness Testing