zweidimensionales bewegtes Bild
Resolution Lower Bounds for Refutation Statements
- Standort
-
Hannover TIB
- Umfang
-
0MB, 00:28:34:04 (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
-
Garlík, Michal
Nordström, Jakob (Organisation)
Atserias, Albert (Organisation)
Pudlak, Pavel (Organisation)
Santhanam, Rahul (Organisation)
- DOI
-
10.5446/55826
- 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
- Garlík, Michal
- 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)
Lower Bounds for Heuristic Algorithms
Lower bounds for RCPSP-max
Guaranteed lower bounds for eigenvalues
Exponential Resolution Lower Bounds for the Weak Pigeonhole Principle over Sparse Graphs
Bisimulation on Speed: Lower Time Bounds
Lower bounds for Auslander's representation dimension
Guaranteed lower bounds to effective stiffness
Inferring Lower Bounds for Runtime Complexity
Lower bounds for Auslander's representation dimension
Zero Lower Bound on Inflation Expectations
Inequality and the Zero Lower Bound
Monetary policy at the zero lower bound
Lower Bounds for Heuristic Algorithms
Lower bounds for RCPSP-max
Guaranteed lower bounds for eigenvalues
Exponential Resolution Lower Bounds for the Weak Pigeonhole Principle over Sparse Graphs
Bisimulation on Speed: Lower Time Bounds
Lower bounds for Auslander's representation dimension
Guaranteed lower bounds to effective stiffness
Inferring Lower Bounds for Runtime Complexity
Lower bounds for Auslander's representation dimension
Zero Lower Bound on Inflation Expectations
Inequality and the Zero Lower Bound
Monetary policy at the zero lower bound
Lower Bounds for Heuristic Algorithms
Lower bounds for RCPSP-max
Guaranteed lower bounds for eigenvalues
Exponential Resolution Lower Bounds for the Weak Pigeonhole Principle over Sparse Graphs
Bisimulation on Speed: Lower Time Bounds
Lower bounds for Auslander's representation dimension
Guaranteed lower bounds to effective stiffness
Inferring Lower Bounds for Runtime Complexity
Lower bounds for Auslander's representation dimension
Zero Lower Bound on Inflation Expectations
Inequality and the Zero Lower Bound