zweidimensionales bewegtes Bild
Intermediate problems in modular circuits satisfiability: Q/A Session F - Paper F5.C
- Location
-
Hannover TIB
- Extent
-
48MB, 00:24:01:21 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020)
- Event
-
Veröffentlichung
- (who)
-
Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
- (when)
-
2020-01-01
- Contributor
-
Idziak, Pawel
Kawalek, Piotr
Krzaczkowski, Jacek
- DOI
-
10.5446/49325
- 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
- Idziak, Pawel
- Kawalek, Piotr
- Krzaczkowski, Jacek
- Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
Time of origin
- 2020-01-01
Other Objects (12)
Faster Random k-CNF Satisfiability: Q/A Session B - Paper B3.A
Symmetric Arithmetic Circuits: Q/A Session C - Paper C2.A
Satisfiability problems
![Qa- [Qa-]](https://iiif.deutsche-digitale-bibliothek.de/image/2/ad9b8567-c447-46da-a7ba-53b4975e74ba/full/!306,450/0/default.jpg)
Qa- [Qa-]
Generalized satisfiability problems
Generalized satisfiability problems
Subtype satisfiability and entailment
Satisfiability with exponential families
Boolean Satisfiability: Theory and Engineering
Satisfiability problems in discrete geometry
Algorithms for Satisfiability beyond Resolution
Equation satisfiability in solvable groups
Faster Random k-CNF Satisfiability: Q/A Session B - Paper B3.A
Symmetric Arithmetic Circuits: Q/A Session C - Paper C2.A
Satisfiability problems
Qa- [Qa-]
Generalized satisfiability problems
Generalized satisfiability problems
Subtype satisfiability and entailment
Satisfiability with exponential families
Boolean Satisfiability: Theory and Engineering
Satisfiability problems in discrete geometry
Algorithms for Satisfiability beyond Resolution
Equation satisfiability in solvable groups
Faster Random k-CNF Satisfiability: Q/A Session B - Paper B3.A
Symmetric Arithmetic Circuits: Q/A Session C - Paper C2.A
Satisfiability problems
Qa- [Qa-]
Generalized satisfiability problems
Generalized satisfiability problems
Subtype satisfiability and entailment
Satisfiability with exponential families
Boolean Satisfiability: Theory and Engineering
Satisfiability problems in discrete geometry
Algorithms for Satisfiability beyond Resolution