Bounded Depth Circuits with Weighted Symmetric Gates: Satisfiability, Lower Bounds and Compression (Q4608645)
From MaRDI portal
scientific article; zbMATH DE number 6851915
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bounded Depth Circuits with Weighted Symmetric Gates: Satisfiability, Lower Bounds and Compression |
scientific article; zbMATH DE number 6851915 |
Statements
21 March 2018
0 references
exponential time algorithm
0 references
circuit complexity
0 references
circuit minimization
0 references
maximum satisfiability
0 references
Bounded Depth Circuits with Weighted Symmetric Gates: Satisfiability, Lower Bounds and Compression (English)
0 references
