zweidimensionales bewegtes Bild
Counting solutions to random CNF formulas: Q/A Session A - Paper A3.A
- Location
-
Hannover TIB
- Extent
-
36MB, 00:22:37:16 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
47th International Colloquium on Automata, Languages and Programming (ICALP) 2020 ; (Jan. 2020)
- Event
-
Veröffentlichung
- (who)
-
Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
- (when)
-
2020-01-01
- Contributor
-
Yang, Kuan
Galanis, Andreas
Goldberg, Leslie Ann
Guo, Heng
- DOI
-
10.5446/49339
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Yang, Kuan
- Galanis, Andreas
- Goldberg, Leslie Ann
- Guo, Heng
- Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
Time of origin
- 2020-01-01