Pages that link to "Item:Q5713749"
From MaRDI portal
The following pages link to Theory and Applications of Satisfiability Testing (Q5713749):
Displaying 8 items.
- A combinatorial characterization of resolution width (Q2475405) (← links)
- Proofs as Games (Q2757489) (← links)
- Pebble games, proof complexity, and time-space trade-offs (Q2848360) (← links)
- On the Relative Strength of Pebbling and Resolution (Q2946664) (← links)
- PEBBLE GAMES AND LINEAR EQUATIONS (Q3450805) (← links)
- Resolution Width and Cutting Plane Rank Are Incomparable (Q3599159) (← links)
- A game for the resolution of singularities (Q4898997) (← links)
- Space characterizations of complexity measures and size-space trade-offs in propositional proof systems (Q6168323) (← links)