The following pages link to (Q4315881):
Displayed 5 items.
- Short proofs for some symmetric quantified Boolean formulas (Q1799597) (← links)
- Space bounds for resolution (Q1854472) (← links)
- Improving a fixed parameter tractability time bound for the shadow problem (Q1877708) (← links)
- On the complexity of resolution with bounded conjunctions (Q1885907) (← links)
- True crafted formula families for benchmarking quantified satisfiability solvers (Q6118844) (← links)