The following pages link to Zhao, Xishun (Q162005):
Displayed 8 items.
- Minimal False Quantified Boolean Formulas (Q5756555) (← links)
- More on bounding introspection in modal nonmonotonic logics (Q5925949) (← links)
- \(Y_C \Omega_{2n}\) are easy terms (Q5955931) (← links)
- Capturing the polynomial hierarchy by second-order revised Krom logic (Q6135775) (← links)
- Bounds for variables with few occurrences in conjunctive normal forms (Q6253670) (← links)
- Parameters for minimal unsatisfiability: Smarandache primitive numbers and full clauses (Q6261651) (← links)
- Unsatisfiable hitting clause-sets with three more clauses than variables (Q6272231) (← links)
- A Logic that Captures $\beta$P on Ordered Structures (Q6330718) (← links)