Pages that link to "Item:Q290209"
From MaRDI portal
The following pages link to Monotone real circuits are more powerful than monotone Boolean circuits (Q290209):
Displaying 3 items.
- Lower bounds for monotone real circuit depth and formula size and tree-like cutting planes (Q293309) (← links)
- On the minimum number of negations leading to super-polynomial savings (Q1029051) (← links)
- Discretely ordered modules as a first-order extension of the cutting planes proof system (Q4254700) (← links)
