The following pages link to Lifting Theorems for Equality (Q5090501):
Displaying 4 items.
- Simulation theorems via pseudo-random properties (Q2281252) (← links)
- MaxSAT Resolution and Subcube Sums (Q5875950) (← links)
- Bipartite perfect matching as a real polynomial (Q6065237) (← links)
- Space characterizations of complexity measures and size-space trade-offs in propositional proof systems (Q6168323) (← links)
