The following pages link to Zhao, Xishun (Q162005):
Displayed 50 items.
- Item:Q162005 (redirect page) (← links)
- On Davis-Putnam reductions for minimally unsatisfiable clause-sets (Q391124) (← links)
- Proof systems for planning under 0-approximation semantics (Q893736) (← links)
- A consistency result of the system Z \(+\) the replacement axiom schema of \(\Sigma_ n\)-formulas (Q923081) (← links)
- Computational complexity of quantified Boolean formulas with fixed maximal deficiency (Q955019) (← links)
- Linear CNF formulas and satisfiability (Q1028433) (← links)
- Axiom of choice in the model \(C\) (Q1178414) (← links)
- Item:Q162005 (redirect page) (← links)
- Fixed-parameter tractability of disjunction-free default reasoning (Q1400063) (← links)
- On the structure of some classes of minimal unsatisfiable formulas (Q1408380) (← links)
- Consistency argument and classification problem in \(\lambda\)-calculus (Q1610037) (← links)
- The complexity of read-once resolution (Q1610491) (← links)
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- Extension and equivalence problems for clause minimal formulae (Q1777408) (← links)
- Polynomial time algorithms for computing a representation for minimal unsatisfiable formulas with fixed deficiency. (Q1853126) (← links)
- Two tractable subclasses of minimal unsatisfiable formulas (Q1961649) (← links)
- Boolean functions as models for quantified Boolean formulas (Q2642467) (← links)
- (Q2704408) (← links)
- (Q2729669) (← links)
- (Q2741513) (← links)
- (Q3006475) (← links)
- On Variables with Few Occurrences in Conjunctive Normal Forms (Q3007672) (← links)
- Transformations into Normal Forms for Quantified Circuits (Q3007687) (← links)
- (Q3129098) (← links)
- (Q3169503) (← links)
- (Q3434502) (← links)
- The consistencies ofMA, SOCA, OCA andISA withKT(ω2) (Q3496333) (← links)
- (Q3506043) (← links)
- (Q3609151) (← links)
- (Q3609624) (← links)
- Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits (Q3637174) (← links)
- (Q3982417) (← links)
- (Q4245013) (← links)
- (Q4329006) (← links)
- (Q4446263) (← links)
- (Q4796540) (← links)
- (Q4813892) (← links)
- Complexity and expressive power of second‐order extended Horn logic (Q4915214) (← links)
- Jordan Areas and Grids (Q4918015) (← links)
- Complexity of Operators on Compact Sets (Q4918033) (← links)
- (Q5150982) (← links)
- (Q5309031) (← links)
- (Q5318862) (← links)
- Theory and Applications of Satisfiability Testing (Q5325853) (← links)
- Theory and Applications of Satisfiability Testing (Q5325874) (← links)
- (Q5435790) (← links)
- Logic versus Approximation (Q5712370) (← links)
- Theory and Applications of Satisfiability Testing (Q5713724) (← links)
- Theory and Applications of Satisfiability Testing (Q5713727) (← links)
- Theory and Applications of Satisfiability Testing (Q5714753) (← links)