Pages that link to "Item:Q1704573"
From MaRDI portal
The following pages link to Gate elimination: circuit size lower bounds and \#SAT upper bounds (Q1704573):
Displaying 6 items.
- Correlation bounds and \#SAT algorithms for small linear-size circuits (Q344759) (← links)
- Circuits constructed with MOD\(_ q\) gates cannot compute ``and'' in sublinear size (Q1346618) (← links)
- On the limits of gate elimination (Q1635510) (← links)
- Projection heuristics for binary branchings between sum and product (Q2118310) (← links)
- Bounded depth circuits with weighted symmetric gates: satisfiability, lower bounds and compression (Q2316930) (← links)
- Weighted gate elimination: Boolean dispersers for quadratic varieties imply improved circuit lower bounds (Q2800589) (← links)